Loop-free calculus for modal logic S4 . II

Author： Andrikonis Julius  

Publisher： Springer Publishing Company

ISSN： 0363-1672

Source： Lithuanian Mathematical Journal, Vol.52, Iss.2, 2012-04, pp. : 123-133

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Path calculus in the modal logic S4

By Norgėla S.  

Lithuanian Mathematical Journal, Vol. 45, Iss. 1, 2005-01 ,pp. : 94-101

Springer Publishing Company

Access to resources Recommend Favorite

One Calculus of Nonderivable Formulas of Propositional Modal Logic

By Norgėla S.  

Lithuanian Mathematical Journal, Vol. 43, Iss. 1, 2003-01 ,pp. : 56-66

Springer Publishing Company

Access to resources Recommend Favorite

Loop-Free Gray Code Algorithms for the Set of Compositions

By Mansour Toufik   Nassar Ghalib  

Journal of Mathematical Modelling and Algorithms, Vol. 9, Iss. 4, 2010-12 ,pp. : 343-356

Springer Publishing Company

Access to resources Recommend Favorite

The Resolution Method for One Reducible Class of Formulas of the First-Order Modal Logic S4

By Norgela S.  

Lithuanian Mathematical Journal, Vol. 44, Iss. 4, 2004-10 ,pp. : 386-394

Springer Publishing Company

Access to resources Recommend Favorite

Specialization of Loop Rules of a Sequent Calculus of Intuitionistic Temporal Logic with Time Gaps

By Alonderis R.  

Lithuanian Mathematical Journal, Vol. 40, Iss. 4, 2000-10 ,pp. : 310-328

Springer Publishing Company

Access to resources Recommend Favorite