✦ LIBER ✦

Epistemic foundations of logic

✍ Scribed by Brian Ellis

Publisher: Springer Netherlands
Year: 1976
Tongue: English
Weight: 998 KB
Volume: 5
Category: Article
ISSN: 0022-3611
DOI: 10.1007/bf00248728

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Epistemic logic and the foundations of g

Epistemic logic and the foundations of game theory

✍ Michael Bacharach; Philippe Mongin 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 418 KB

A theorem of epistemic logic

✍ George N. Schlesinger 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 352 KB

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.

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