Sequent calculi for propositional star-free likelihood logic

ISSN： 0363-1672

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

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

Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics

By Milnikel Robert

Annals of Mathematics and Artificial Intelligence, Vol. 44, Iss. 1-2, 2005-05 ,pp. : 1-34

Springer Publishing Company

Access to resources Recommend Favorite

Star-Free Sets of Words on Ordinals

By Bedon N.

Information and Computation, Vol. 166, Iss. 2, 2001-05 ,pp. : 93-111

Academic Press

Access to resources Recommend Favorite

Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics

By Avron Arnon

Logica Universalis, Vol. 1, Iss. 1, 2007-01 ,pp. : 41-70

Springer Publishing Company

Access to resources Recommend Favorite