✦ LIBER ✦

Infinitary S5-Epistemic Logic

✍ Scribed by Aviad Heifetz

Publisher: John Wiley and Sons
Year: 1997
Tongue: English
Weight: 569 KB
Volume: 43
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19970430306

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

It is known that a theory in S5‐epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to finite conjunctions of formulas. We show that this asymmetry between syntax and semantics persists also when infinite conjunctions (up to some given cardinality) are permitted in the language. We develop a strengthened S5‐axiomatic system for such infinitary logics, and prove a strong completeness theorem for them. Then we show that in every such logic there is always a theory with more than one model.

📜 SIMILAR VOLUMES

Epistemic foundations of logic

✍ Brian Ellis 📂 Article 📅 1976 🏛 Springer Netherlands 🌐 English ⚖ 998 KB

Infinitary logic and topological homeomo

Infinitary logic and topological homeomorphisms

✍ T. A. McKee 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 324 KB

α Logic and Infinitary Languages

✍ Newton C. A. da Costa; Charles C. Pinter 📂 Article 📅 1976 🏛 John Wiley and Sons 🌐 English ⚖ 490 KB

A Companion to Philosophical Logic || Ep

A Companion to Philosophical Logic || Epistemic Logic

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 90 KB 👁 2 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

Epistemic logic and logical omniscience:

Epistemic logic and logical omniscience: A survey

✍ Kwang Mong Sim 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 217 KB

This survey brings together a collection of epistemic logics and discusses their approaches in alleviating the logical omniscience problem. Of particular note is the logic of implicit and explicit belief. Explicit belief refers to information actively held by an agent, while implicit belief refers t

Epistemic entrenchment and possibilistic

Epistemic entrenchment and possibilistic logic

✍ Didier Dubois; Henri Prade 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 896 KB

Dubois, D. and H. Prade, Epistemic entrenchment and possibilistic logic (Research Note), Artificial Intelligence 50 (1991) 223-239. This note points out the close relationships existing between recent proposals in the theory of belief revision made by Gardenf6rs based on the notion of epistemic ent