✦ LIBER ✦

Interpreting logics of knowledge in propositional dynamic logic with converse

✍ Scribed by Michael J. Fischer; Neil Immerman

Book ID: 113163054
Publisher: Elsevier Science
Year: 1987
Tongue: English
Weight: 404 KB
Volume: 25
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(87)90129-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Propositional dynamic logic of context-f

Propositional dynamic logic of context-free programs and fixpoint logic with chop

✍ Martin Lange; Rafał Somla 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 110 KB

Interpreting Intuitionistic Propositiona

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

✍ A.D. Yashin 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 206 KB

Semantics of looping programs in Proposi

Semantics of looping programs in Propositional Dynamic Logic

✍ Francine Berman 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 601 KB

Logic-based interpretation of geometrica

Logic-based interpretation of geometrically observable changes occurring in dynamic scenes

✍ M. V. dos Santos; R. C. de Brito; H.-H. Park; P. Santos 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 661 KB

A new type of computer for problems in p

A new type of computer for problems in propositional logic, with greatly reduced scanning procedures

✍ Colin Cherry; P.K.T. Vaswani 📂 Article 📅 1961 🏛 Elsevier Science ⚖ 664 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Information and Knowledge Systems Volume 4932 || Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach

✍ Hartmann, Sven; Kern-Isberner, Gabriele 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 477 KB

An ideal text for researchers and professionals alike, this book constitutes the refereed proceedings of the 5th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2008 held in Pisa, Italy, in February 2008. The 13 revised full papers are presented together with nine