Pablo F. Castro

2008
3	EE	Pablo F. Castro, T. S. E. Maibaum: A Tableaux System for Deontic Action Logic. DEON 2008: 34-48
2007
2	EE	Pablo F. Castro, T. S. E. Maibaum: A Complete and Compact Propositional Deontic Logic. ICTAC 2007: 109-123
1	EE	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]