AUC Philosophica et Historica (Acta Universitatis Carolinae Philosophica et Historica) is a multidisciplinary academic journal focused on the humanities with more than 50 years of tradition.
The journal is indexed in CEEOL, DOAJ, and EBSCO.
AUC PHILOSOPHICA ET HISTORICA, Vol 2015 No 1 (2015), 23–37
Normal default rules as epistemic actions
Michal Dančák, Michal Peliš
DOI: https://doi.org/10.14712/24647055.2016.7
published online: 08. 08. 2016
abstract
The goal of this paper is to present a prospective way to ‘translate’ normal default rules into the framework of action models logic. At the beginning we introduce default logic and normal default logic with their main properties and, separately, action models logic. Then a ‘translation’ of normal default rules in a slightly modified action models logic is presented.
keywords: action models; default logic; dynamic epistemic logic
periodicity: 2 x per year
ISSN: 0567-8293
E-ISSN: 2464-7055
