Pablo F. Castro

	2009
4		Pablo F. Castro, T. S. E. Maibaum: Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. Methods, Models and Tools for Fault Tolerance 2009: 25-43
	2008
3		Pablo F. Castro, T. S. E. Maibaum: A Tableaux System for Deontic Action Logic. DEON 2008: 34-48
	2007
2		Pablo F. Castro, T. S. E. Maibaum: A Complete and Compact Propositional Deontic Logic. ICTAC 2007: 109-123
1		Pablo F. Castro, T. S. E. Maibaum: An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. SEFM 2007: 151-160

Coauthor Index

1

T. S. E. Maibaum (Thomas Stephen Edward Maibaum)

[1] [2] [3] [4]