✦ LIBER ✦

Referential Opacity and Epistemic Logic

✍ Scribed by Saloua Chatti

Book ID: 107509041
Publisher: SP Birkhäuser Verlag Basel
Year: 2011
Tongue: English
Weight: 239 KB
Volume: 5
Category: Article
ISSN: 1661-8297
DOI: 10.1007/s11787-011-0034-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Self-Referential Justifications in Epist

Self-Referential Justifications in Epistemic Logic

✍ Roman Kuznets 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 588 KB

Truth-functionality and referential opac

Truth-functionality and referential opacity

✍ Richard Sharvy 📂 Article 📅 1970 🏛 Springer Netherlands 🌐 English ⚖ 281 KB

REFERENTIAL OPACITY 5 (c) and (d); and if both (e) and ( d ) are false, the falsity of ( 3 ) follows even without the assumption of (1) and (2). But this means that, given (1) and (2), and given Chisholm's analysis of (3), (3) cannot possibly be true. Now to say that if (1) and ( 2) are true, then (

Skepticism and Epistemic Logic

✍ Peter K. Schotch 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 503 KB

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

Infinitary S5-Epistemic Logic

✍ Aviad Heifetz 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 569 KB

## 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.