A Logic for Reasoning About Qualitative Probability
Angelina Ilić-Stepić (2010)
Publications de l'Institut Mathématique
Similarity:
Displaying similar documents to “A Propositional p-adic Probability Logic”
A Logic for Reasoning About Qualitative Probability
Probability Logics
Zoran Ognjanović, Miodrag Rašković, Zoran Marković (2009)
Zbornik Radova
Similarity:
A Logic with Conditional Probability Operators
Dragan Doder, Bojan Marinković, Petar Maksimović, Aleksandar Perović (2010)
Publications de l'Institut Mathématique
Similarity:
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:
Completeness theorem for probability models with finitely many valued measure in logic with integrals
Vladimir Ristić (2010)
Kragujevac Journal of Mathematics
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...
Probability logics with vector-valued measures
Vladimir Ristić (2009)
Kragujevac Journal of Mathematics
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.
A Parigot-style linear -calculus for full intuitionistic linear logic.
de Paiva, Valeria, Ritter, Eike (2006)
Theory and Applications of Categories [electronic only]
Similarity:
What the finitization problem is not
A. Simon (1993)
Banach Center Publications
Similarity: