Add to ORKGThe goal of our research is to highlight the connection between modal provability theory and default logic. Our work continues the research tradition in which definitions of extensions in default logic are related to modal systems. The main innovation is to try to get the most out of reflection results due to G6del and developed by Boolos, Smorynski, Bernardi, and Solovay
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quant...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
Abstract. Investigations of default logic have been so far mostly concerned with the notion of an ex...
AbstractIn this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place...
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of var...
Recently, conditional logics have been developed for ap-plication to problems in default reasoning. ...
We present a general proof theoretical methodology for default systems. Given a default theory D#...
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of var...
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of var...
AbstractIn previous papers some important properties of extensions of general default theories were ...
Supernormal default theories induce a preference relation on the models of their axioms. We view thi...
In this paper, we investigate the proof theory of default reasoning. We generalize Reiter's fra...
. The study of different variants of default logic reveales not only differences but also properties...
Reiter’s default logic is one of the best known and most studied of the approaches to nonmonotonic r...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quant...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...
Abstract. Investigations of default logic have been so far mostly concerned with the notion of an ex...
AbstractIn this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place...
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of var...
Recently, conditional logics have been developed for ap-plication to problems in default reasoning. ...
We present a general proof theoretical methodology for default systems. Given a default theory D#...
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of var...
Provability logics are, roughly speaking, modal logics meant to capture the formal principles of var...
AbstractIn previous papers some important properties of extensions of general default theories were ...
Supernormal default theories induce a preference relation on the models of their axioms. We view thi...
In this paper, we investigate the proof theory of default reasoning. We generalize Reiter's fra...
. The study of different variants of default logic reveales not only differences but also properties...
Reiter’s default logic is one of the best known and most studied of the approaches to nonmonotonic r...
In recent years, research into the mathematical foundations of modal logic has become increasingly p...
The nonmonotonic logic called Default Logic is shown to be representable in a monotonic Modal Quant...
Propositional modal logic is a conservative extension of classical propositional logic. It introduce...