𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Completeness and decidability of three logics of counterfactual conditionals

✍ Scribed by David Lewis

Book ID
114916201
Publisher
Wiley (Blackwell Publishing)
Year
2008
Tongue
English
Weight
469 KB
Volume
37
Category
Article
ISSN
1755-2567

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Coalgebraic modal logic: soundness, comp
Coalgebraic modal logic: soundness, completeness and decidability of local consequence
✍ Dirk Pattinson πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 275 KB

This paper studies ΓΏnitary modal logics, interpreted over coalgebras for an endofunctor, and establishes soundness, completeness and decidability results. The logics are studied within the abstract framework of coalgebraic modal logic, which can be instantiated with arbitrary endofunctors on the cat

The completeness of monotonic modal logi
The completeness of monotonic modal logics
✍ Brian F. Chellas; Audrey McKinney πŸ“‚ Article πŸ“… 1975 πŸ› John Wiley and Sons 🌐 English βš– 379 KB

The purpose of this paper is to point out an error in KRISTER SEGERBERG'S proof of the completeness of the modal logic R, and to provide a correct proof.2) The correct proofbased on a notion and a strategy suggested by SEOERBERO'S techniquesintroduces a general approach for obtaining completeness th