Automated Reasoning over Deontic Action Logics with Finite Vocabularies

Pablo F. Castro, Thomas S. E. Maibaum

In this paper we investigate further the tableaux system for a deontic action logic we presented in previous work. This tableaux system uses atoms (of a given boolean algebra of ac…