𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hintikka and Sleigh on epistemic logic

✍ Scribed by R. Z. Parks


Publisher
Springer Netherlands
Year
1972
Tongue
English
Weight
62 KB
Volume
23
Category
Article
ISSN
0031-8116

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Hintikka on Kant and logic
✍ Christopher Russell πŸ“‚ Article πŸ“… 1990 πŸ› Springer 🌐 English βš– 949 KB
On alternatives in epistemic logic
✍ Nicholas Rescher; Arnold Nat πŸ“‚ Article πŸ“… 1973 πŸ› Springer Netherlands 🌐 English βš– 805 KB
Epistemic logic and logical omniscience:
✍ 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
✍ 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.