Sciweavers

Share
8 search results - page 1 / 2
» A Tableaux System for Deontic Interpreted Systems
Sort
View
AUSAI
2003
Springer
9 years 11 months ago
A Tableaux System for Deontic Interpreted Systems
Guido Governatori, Alessio Lomuscio, Marek J. Serg...
CLIMA
2004
9 years 7 months ago
A Logic for Knowledge, Correctness, and Real Time
We present TCTLKD, a logic for knowledge, correctness and real time. TCTLKD is interpreted on real time deontic interpreted systems, and extension to continuous time of deontic int...
Bozena Wozna, Alessio Lomuscio
DEON
2010
Springer
9 years 5 months ago
Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
Robert Trypuz, Piotr Kulicki
ICAIL
2003
ACM
9 years 11 months ago
Specifying and Reasoning with Institutional Agents
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
Filipe Santos, Olga Pacheco
TABLEAUX
2007
Springer
9 years 11 months ago
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
We construct a sound, complete, and terminating tableau system for the interval temporal logic D ยท interpreted in interval structures over dense linear orderings endowed with stri...
Davide Bresolin, Valentin Goranko, Angelo Montanar...
books