✦ LIBER ✦

Epistemic logic, skepticism, and non-normal modal logic

✍ Scribed by P. K. Schotch; R. E. Jennings

Publisher: Springer Netherlands
Year: 1981
Tongue: English
Weight: 867 KB
Volume: 40
Category: Article
ISSN: 0031-8116
DOI: 10.1007/bf00646387

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Companion to Philosophical Logic || De

A Companion to Philosophical Logic || Deontic, Epistemic, and Temporal Modal Logics

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

Edited By Dale Jacquette. Includes Bibliographical References And Index.

Normal derivability in modal logic

✍ Jan von Plato 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 89 KB

The standard rule of necessitation in systems of natural deduction for the modal logic S4 concludes A from A whenever all assumptions A depends on are modal formulas. This condition prevents the composability and normalization of derivations, and therefore modifications of the rule have been suggest

Modal sequents for normal modal logics

✍ Claudio Cerrato 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 433 KB

## Abstract We present sequent calculi for normal modal logics where modal and propositional behaviours are separated, and we prove a cut elimination theorem for the basic system K, so as completeness theorems (in the new style) both for K itself and for its most popular enrichments. MSC: 03B45, 03

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

Remarks on the semantics of non-normal m

Remarks on the semantics of non-normal modal logics

✍ Peter K. Schotch 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 598 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.