INVESTIGADORES
CASTRO Pablo Francisco
artículos
Título:
A Tableaux System for Deontic Action Logic
Autor/es:
PABLO F. CASTRO; T.S.E. MAIBAUM
Revista:
LECTURE NOTES IN COMPUTER SCIENCE
Editorial:
Springer Verlag
Referencias:
Lugar: Berlin; Año: 2008 vol. 5076 p. 34 - 48
ISSN:
0302-9743
Resumen:
In this paper we present a tableaux method for a deontic action logic; this proof system is sound and complete, and because the logic has the usual boolean operators on actions, it also allows us to deal successfully with action complement and parallel execution of actions. Finally, we describe an example of application of this proof system which shows how the tableaux system can be used to obtain (counter-) models of specifications.
