Cut Elimination and Realization for Epistemic Logics with Justification

ISSN： 1465-363X

Source： Journal of Logic and Computation, Vol.22, Iss.5, 2012-10, pp. : 1171-1198

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

Cut-elimination for a logic with definitions and induction

By McDowell R. Miller D.

Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. : 91-119

Elsevier

Access to resources Recommend Favorite

Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic

By Okada M.

Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. : 333-396

Elsevier

Access to resources Recommend Favorite

Elimination of Conditions

By Viry P.

Journal of Symbolic Computation, Vol. 28, Iss. 3, 1999-09 ,pp. : 381-401

Academic Press

Access to resources Recommend Favorite

On the Relationship Between BDI Logics and Standard Logics of Concurrency

By Schild K.

Autonomous Agents and Multi-Agent Systems, Vol. 3, Iss. 3, 2000-09 ,pp. : 259-283

Springer Publishing Company

Access to resources Recommend Favorite

Cut and Paste

By Mecca G. Atzeni P.

Journal of Computer and System Sciences, Vol. 58, Iss. 3, 1999-06 ,pp. : 453-482

Academic Press

Access to resources Recommend Favorite