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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.