Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity

Pablo F. Castro. Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity. Studia Logica, 105(2):229-251, 2017. [doi]

Abstract

Abstract is missing.