Sciweavers

7 search results - page 1 / 2
» A Tableaux System for Deontic Interpreted Systems
Sort
View
AUSAI
2003
Springer
13 years 8 months ago
A Tableaux System for Deontic Interpreted Systems
Guido Governatori, Alessio Lomuscio, Marek J. Serg...
CLIMA
2004
13 years 5 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
13 years 3 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
13 years 8 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
13 years 9 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...