One Calculus of Nonderivable Formulas of Propositional Modal Logic

Author： Norgėla S.  

Publisher： Springer Publishing Company

ISSN： 0363-1672

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

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

A Sequent Calculus for Propositional Dynamic Logic for Agents

By Sakalauskaitė J.  

Lithuanian Mathematical Journal, Vol. 44, Iss. 3, 2004-07 ,pp. : 244-250

Springer Publishing Company

Access to resources Recommend Favorite

A Sequent Calculus for Propositional Dynamic Logic for Agents with Interactions

By Sakalauskaite J.  

Lithuanian Mathematical Journal, Vol. 45, Iss. 2, 2005-04 ,pp. : 217-224

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

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

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