Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule1
Keyword(s):
In the paper we study a family of modal nonmonotonic logics closely related to the family of modal nonmonotonic logics proposed by McDermott and Doyle. For a modal logic S and a fixed collection of formulas X we introduce the notion of an ( S, X)-expansion. We restrict to modal logics which have a complete Kripke semantics. We study the properties of ( S, X)-expansions and show that in many respects they are analogous to the properties of S-expansions in nonmonotonic modal logics of McDermott and Doyle.
2019 ◽
Vol 30
(2)
◽
pp. 549-560
◽
Keyword(s):
2019 ◽
Vol 13
(2)
◽
pp. 416-435
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2014 ◽
Vol 7
(3)
◽
pp. 439-454
◽
Keyword(s):
Keyword(s):
Keyword(s):