TY - GEN
T1 - The modal logic S4F, the default logic, and the logic here-and-there
AU - Truszczyński, Mirosław
PY - 2007
Y1 - 2007
N2 - The modal logic S4F provides an account for the default logic of Reiter, and several modal nonmonotonic logics of knowledge and belief. In this paper we focus on a fragment of the logic S4F concerned with modal formulas called modal defaults, and on sets of modal defaults - modal default theories. We present characterizations of S4F-expansions of modal default theories, and show that strong and uniform equivalence of modal default theories can be expressed in terms of the logical equivalence in the logic S4F. We argue that the logic S4F can be viewed as the general default logic of nested defaults. We also study special modal default theories called modal pmgrams, and show that this fragment of the logic S4F generalizes the logic here-and-there.
AB - The modal logic S4F provides an account for the default logic of Reiter, and several modal nonmonotonic logics of knowledge and belief. In this paper we focus on a fragment of the logic S4F concerned with modal formulas called modal defaults, and on sets of modal defaults - modal default theories. We present characterizations of S4F-expansions of modal default theories, and show that strong and uniform equivalence of modal default theories can be expressed in terms of the logical equivalence in the logic S4F. We argue that the logic S4F can be viewed as the general default logic of nested defaults. We also study special modal default theories called modal pmgrams, and show that this fragment of the logic S4F generalizes the logic here-and-there.
UR - http://www.scopus.com/inward/record.url?scp=36348940446&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=36348940446&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:36348940446
SN - 1577353234
SN - 9781577353232
T3 - Proceedings of the National Conference on Artificial Intelligence
SP - 508
EP - 513
BT - AAAI-07/IAAI-07 Proceedings
Y2 - 22 July 2007 through 26 July 2007
ER -