Download:
|
by Gianni Amati, Fondazione Ugo Bordoni, Via Baldassarre Castiglione
Journal of IGPL
http://www.dcs.kcl.ac.uk/journals/igpl/IGPL/V4-1/amati.ps.gz
Add To MetaCart
Abstract:
We show that modal logics characterized by a class of frames satisfying the insertion property are suitable for Reiter's default logic. We refine the canonical fix point construction defined by Marek, Schwarz and Truszczy'nski for Reiter's default logic and thus we address a new paradigm for nonmonotonic logic. In fact, differently from the construction defined by these authors, we show that suitable modal logics for such a construction must indeed contain KD4. When reflexivity is added to the modal logic used for the fix point construction then we come to the Marek Schwarz and Truszczy'nski framework for Reiter's default logic. Our framework, in fact, is appropriate also to the family of modal logics in between S4 and S4f. If, instead, reflexivity is dropped, then we show that a new family of modal logics is gained, namely the modal logics in between KD4 and KD4Z. The upper bound can be extended to the modal logic KD4LZ whenever the propositional language taken into account is finite. 1
Citations
|
1177
|
A logic for default reasoning
– Reiter
- 1979
|
|
398
|
Semantical considerations on non-monotonic logic
– Moore
- 1985
|
|
249
|
Proof methods for modal and intuitionistic logics
– Fitting
- 1983
|
|
194
|
Logics of Time and Computation
– Goldblatt
- 1987
|
|
189
|
Non-monotonic logic I
– McDermott, Doyle
- 1978
|
|
154
|
Nonmonotonic Logic Context-Dependent Reasoning
– Marek, Truszczyński
- 1993
|
|
126
|
On the relation between default and autoepistemic logic
– Konolige
- 1988
|
|
103
|
Two-dimensional modal logic
– Segerberg
- 1973
|
|
88
|
Non-monotonic logic II: non-monotonic modal theories
– McDermott
- 1980
|
|
65
|
Possible-world semantics for autoepistemic logic
– Moore
- 1984
|
|
62
|
A knowledge-level account of abduction
– Levesque
- 1989
|
|
53
|
On formally undecidable propositions of Principia Mathematica and related systems I, From Frege to Godel: A Source Book
– Godel
- 1931
|
|
44
|
Modal nonmonotonic logics: ranges, characterization, computation
– Marek, Shvarts, et al.
- 1993
|
|
33
|
Modal logic for default reasoning
– Marek, Truszczyski
- 1990
|
|
25
|
Belief as Defeasible Knowledge
– Moses, Shoham
- 1993
|
|
23
|
Autoepistemic modal logics
– Shvarts
- 1990
|
|
10
|
An interpretation of the intuitionistic propositional calculus
– Godel
- 1986
|
|
6
|
More on modal aspects of default logic
– Marek, Truszczynski
- 1992
|
|
6
|
An Essay in Classical Modal Logic. Filosofiska Studier 13
– Segerberg
- 1971
|
|
1
|
A model for knowledge and its properties
– Fagin, Halpern, et al.
- 1992
|
