𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Situation Calculus: A Case for Modal Logic

✍ Scribed by Gerhard Lakemeyer

Publisher
Springer Netherlands
Year
2010
Tongue
English
Weight
256 KB
Volume
19
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A modal calculus analogous toK4W, based
A modal calculus analogous toK4W, based on intuitionistic propositional logic, Iβ„΄
✍ Aldo Ursini πŸ“‚ Article πŸ“… 1979 πŸ› Springer Netherlands 🌐 English βš– 751 KB

This paper treats a kind of a modal logic based on the intuitionistic propositional logic which arose from the "provability" predicate in the first order arithmetic. The semantics of this calculus is presented in both a relational and an algebraic way. Completeness theorems, existence of a characte

A modal logic for subjective default rea
A modal logic for subjective default reasoning
✍ Shai Ben-David; Rachel Ben-Eliyahu-Zohary πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 168 KB

In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of "If Ξ±, then normally Ξ²". On top of providing a well-defined tool for analyzing common default reasoning, DML allows nesting of the default operator. We prese