We develop a labelled tableaux system for the modal logic KD45i−jn extended with epistemic notions. This logic characterises a particular type of interpreted systems used to represent and reason about states of correct and incorrect functioning behaviour of the agents in a system, and of the system as a whole. The resulting tableaux system provides a simple decision procedure for the logic. We discuss these issues and we illustrate them with the help of simple examples.
CITATION STYLE
Governatori, G., Lomuscio, A., & Sergot, M. J. (2003). A tableaux system for deontic interpreted systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2903, pp. 339–351). Springer Verlag. https://doi.org/10.1007/978-3-540-24581-0_29
Mendeley helps you to discover research relevant for your work.