✦ LIBER ✦

Belief closure: A semantics of common knowledge for modal propositional logic

✍ Scribed by L. Lismont; P. Mongin

Book ID: 107908904
Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 58 KB
Volume: 31
Category: Article
ISSN: 0165-4896
DOI: 10.1016/0165-4896(96)88688-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Grim Semantics For Logics of Belief

✍ Christopher Steinsvold 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 293 KB

A neural basis for category and modality

A neural basis for category and modality specificity of semantic knowledge

✍ S.L Thompson-Schill; G.K Aguirre; M Desposito; M.J Farah 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 553 KB

Expanding the propositional logic of a t

Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics

✍ Francesc Esteva; Lluís Godo; Carles Noguera 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 367 KB

A concurrent dynamic logic of knowledge,

A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems

✍ Lijun Wu; Jinshu Su; Kaile Su; Xiangyu Luo; Zhihua Yang 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 257 KB

Minding the facts: a comment on Thompson

Minding the facts: a comment on Thompson-Schill et al.’s “A neural basis for category and modality specificity of semantic knowledge”

✍ Alfonso Caramazza 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 119 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