A Sequent Calculus for Propositional Dynamic Logic for Agents with Interactions

ISSN： 0363-1672

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

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

Sequent calculi for propositional star-free likelihood logic

By Alonderis R.

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

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

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

A sequent calculus for logic of knowledge and past time: Completeness and decidability

By Sakalauskaitė J.

Lithuanian Mathematical Journal, Vol. 46, Iss. 3, 2006-07 ,pp. : 347-355

Springer Publishing Company

Access to resources Recommend Favorite