Normal default rules as epistemic actions
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 d...
Main Authors: | Michal Dančák, Michal Peliš |
---|---|
Format: | Article |
Language: | ces |
Published: |
Karolinum Press
2016-08-01
|
Series: | Acta Universitatis Carolinae: Philosophica et Historica |
Subjects: | |
Online Access: | http://www.karolinum.cz/doi/10.14712/24647055.2016.7 |
Similar Items
-
Analysis of Cryptographic Protocol by Dynamic Epistemic Logic
by: Xiaojuan Chen, et al.
Published: (2019-01-01) -
Dynamic epistemic logic /
by: Ditmarsch, Hans van, 1959-, et al.
Published: (2007) -
Efficient Verification of Cryptographic Protocols with Dynamic Epistemic Logic
by: Xiaojuan Chen, et al.
Published: (2020-09-01) -
Dynamic Epistemic Reasoning with Awareness and Its Legal Application
by: Tetsuji Goto, et al.
Published: (2019-02-01) -
Intrusion detection system episteme
by: Mihályi Daniel, et al.
Published: (2012-10-01)