𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Supervenience and Infinitary Logic

✍ Scribed by Michael Glanzberg

Book ID
108503943
Publisher
John Wiley and Sons
Year
2001
Tongue
English
Weight
112 KB
Volume
35
Category
Article
ISSN
0029-4624

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Ξ± Logic and Infinitary Languages
Ξ± Logic and Infinitary Languages
✍ Newton C. A. da Costa; Charles C. Pinter πŸ“‚ Article πŸ“… 1976 πŸ› John Wiley and Sons 🌐 English βš– 490 KB
Infinitary S5-Epistemic Logic
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.