✦ LIBER ✦

A note on non-monotonic modal logic

✍ Scribed by Robert Stalnaker

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 832 KB
Volume: 64
Category: Article
ISSN: 0004-3702
DOI: 10.1016/0004-3702(93)90104-j

No coin nor oath required. For personal study only.

✦ Synopsis

This paper, which began as a comment on a talk by Drew McDermott, 1 was completed in the summer of 1980. It circulated in typescript, but was not published at the time. A lot has happened in the study of nonmonotonic reasoning since that time, and the paper is now quite dated, but it is being published now, just to put it on the record, since it has been widely cited (mainly as a result of citations in Robert Moore's influential work on autoepistemic logic). Other than grammatical, typographical and notational corrections, and a few cautionary comments added to endnotes, the paper is unchanged from the 1980 version. 2

📜 SIMILAR VOLUMES

On a Certain System of Modal Logic

✍ Akira Nakamura 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 205 KB 👁 1 views

A note on monoton waves

✍ Hanno Lefmann 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 123 KB

Non-Equivalent Formulae in one Variable

Non-Equivalent Formulae in one Variable in A Strong Omnitemporal Modal Logic

✍ David Makinson 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 137 KB

A note on Grzegorczyk's logic

✍ Emil Jeřábek 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 71 KB

## Abstract Grzegorczyk's modal logic (Grz) corresponds to the class of upwards well‐founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF. We answer his question negatively

A note on dual-intuitionistic logic

✍ Norihiro Kamide 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 91 KB 👁 1 views

## Abstract Dual‐intuitionistic logics are logics proposed by Czermak (1977), Goodman (1981) and Urbas (1996). It is shown in this paper that there is a correspondence between Goodman's dual‐intuitionistic logic and Nelson's constructive logic N^−^.

A Note on Pavelka's Fuzzy Logic

✍ Esko Turunen 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 108 KB 👁 1 views