Embedding modal nonmonotonic logics into default logic

Studia Logica 75 (3):377 - 382 (2003)
  Copy   BIBTEX

Abstract

We present a straightforward embedding of modal nonmonotonic logics into default logic.

Categories

Keywords

Reprint years

2004

DOI

10.1023/b:stud.0000009566.83940.4f

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Efficient reasoning about rich temporal domains.Yoav Shoham - 1988 - Journal of Philosophical Logic 17 (4):443 - 474.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
An implementation of statistical default logic.Gregory Wheeler & Carlos Damasio - 2004 - In Jose Alferes & Joao Leite (eds.), Logics in Artificial Intelligence (JELIA 2004). Springer.
Defaults as restrictions on classical Hilbert-style proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.
Two approaches to the formalisation of defeasible deontic reasoning.Henry Prakken - 1996 - Studia Logica 57 (1):73 - 90.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.

Analytics

Added to PP
2009-01-28

Downloads
54 (#289,243)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A New Introduction to Modal Logic.M. J. Cresswell & G. E. Hughes - 1996 - New York: Routledge. Edited by M. J. Cresswell.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.

Add more references