Completeness theorem for logic with imprecise and conditional probabilities.
Ognjanović, Zoran, Marković, Zoran, Rašković, Miodrag (2005)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Displaying similar documents to “Probability Logics”
Completeness theorem for logic with imprecise and conditional probabilities.
A Logic for Reasoning About Qualitative Probability
Angelina Ilić-Stepić (2010)
Publications de l'Institut Mathématique
Similarity:
A Logic with Conditional Probability Operators
Dragan Doder, Bojan Marinković, Petar Maksimović, Aleksandar Perović (2010)
Publications de l'Institut Mathématique
Similarity:
Probability logics with vector-valued measures
Vladimir Ristić (2009)
Kragujevac Journal of Mathematics
Similarity:
Completeness theorem for probability models with finitely many valued measure in logic with integrals
Vladimir Ristić (2010)
Kragujevac Journal of Mathematics
Similarity:
Remarks on intuitionistic modal logics.
Celani, Sergio (2001)
Divulgaciones Matemáticas
Similarity:
The Properties of Sets of Temporal Logic Subformulas
Mariusz Giero (2012)
Formalized Mathematics
Similarity:
This is a second preliminary article to prove the completeness theorem of an extension of basic propositional temporal logic. We base it on the proof of completeness for basic propositional temporal logic given in [17]. We introduce two modified definitions of a subformula. In the former one we treat until-formula as indivisible. In the latter one, we extend the set of subformulas of until-formulas by a special disjunctive formula. This is needed to construct a temporal model. We also...
A Propositional p-adic Probability Logic
Miloš Milošević (2010)
Publications de l'Institut Mathématique
Similarity:
The Derivations of Temporal Logic Formulas
Mariusz Giero (2012)
Formalized Mathematics
Similarity:
This is a preliminary article to prove the completeness theorem of an extension of basic propositional temporal logic. We base it on the proof of completeness for basic propositional temporal logic given in [12]. We introduce n-ary connectives and prove their properties. We derive temporal logic formulas.
What the finitization problem is not
A. Simon (1993)
Banach Center Publications
Similarity:
A Parigot-style linear -calculus for full intuitionistic linear logic.
de Paiva, Valeria, Ritter, Eike (2006)
Theory and Applications of Categories [electronic only]
Similarity: