Preprint
Automated Reasoning over Deontic Action Logics with Finite Vocabularies
Abstract
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
Authors
Castro PF; Maibaum TSE
Publication date
January 5, 2014
DOI
10.48550/arxiv.1401.0969
Preprint server
arXiv