Path calculus in the modal logic S4

Author： Norgėla S.  

Publisher： Springer Publishing Company

ISSN： 0363-1672

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

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

Loop-free calculus for modal logic S4 . II

By Andrikonis Julius  

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

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

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

An admissibility criterion for inference rules with metavariables in the modal logic S4.α N

By Rutskii A.  

Siberian Mathematical Journal, Vol. 48, Iss. 2, 2007-03 ,pp. : 317-326

Springer Publishing Company

Access to resources Recommend Favorite

Early Vector Calculus: A Path Through Multivariable Calculus

By Robertson Robert L.  

PRIMUS, Vol. 23, Iss. 2, 2013-01 ,pp. : 133-140

Taylor & Francis Ltd

Access to resources Recommend Favorite