Authors: Marković, Zoran 
Ognjanović, Zoran 
Rašković, Miodrag 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: A probabilistic logic based on propositional intuitionistic logic
First page: 784
Last page: 787
Conference: 37th International scientific conference on information, communication and energy systems and technologies, ISECST 2002, 1-4 October 2002, Niš, Jugoslavia
Issue Date: 2002
Rank: M33
We introduce a probabilistic extension of propositional intuitionistic logic. The logic allows making statements such as P≥sA, with the intended meaning "the probability of truthfulness of A is greater than or equal to s. We describe the corresponding class of models, which are Kripke models with a naturally arrising notion of probability, and give a sound and complete infinitary axiomatic system. We prove that the logic is decidable.
Keywords: probabilistic logic | intuitionistic logic | completeness | decidability
Publisher: ICEST
Project: Methods of Mathematical Logic for Decision Support in Real Life Situations 

Show full item record

Page view(s)

checked on May 9, 2024

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.