English

ROZŠÍŘENÉ VYHLEDÁVÁNÍ

PODROBNOSTI O ČASOPISE:

Normal default rules as epistemic actions

Michal Dančák, Michal Peliš

AUC PHILOSOPHICA ET HISTORICA

zveřejněno 08.08.2016 
klíčová slova: action models; default logic; dynamic epistemic logic



  • abstrakt

  • 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.