An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.
Rimatskiĭ, V.V. (2009)
Sibirskij Matematicheskij Zhurnal
Similarity:
Displaying similar documents to “Normal forms in partial modal logic”
An explicit basis for the admissible inference rules of the modal logics extending S4.1 and Grz.
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.
An extension of the probability logic
Tatjana Stojanović, Ana Kaplarević-Mališić, Zoran Ognjanović (2010)
Kragujevac Journal of Mathematics
Similarity:
Corcoran's Aristotelian syllogistic as a subsystem of first-order logic.
Andrade, Edgar J., Becerra, Edward (2007)
Revista Colombiana de Matemáticas
Similarity:
On the Beth property in extension of Lukasiewicz logics.
Tishkovskij, D.E. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
An inheritance criterion for the admissible inference rules of K4.
Rutskij, A.N., Fedorishin, B.R. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Preservation of admissibility of inference rules in the logics similar to S4. 2.
Rybakov, V.V., Rimatskij, V.V. (2002)
Sibirskij Matematicheskij Zhurnal
Similarity:
Computational Interrpretations of Logics
Silvia Ghilezan, Silvia Likavec (2009)
Zbornik Radova
Similarity:
On a fragment of intuitionistic logic which is complete with respect to the Kripke frames with finite domains.
Shrejner, P.A. (2000)
Siberian Mathematical Journal
Similarity:
logic and completeness theorem
Vladimir Ristić (2006)
Kragujevac Journal of Mathematics
Similarity:
Absence of the interpolation property in the calculi and .
Murzina, V.F. (2008)
Sibirskij Matematicheskij Zhurnal
Similarity: