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]
@article{Castro17, title = {Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity}, author = {Pablo F. Castro}, year = {2017}, doi = {10.1007/s11225-016-9688-6}, url = {http://dx.doi.org/10.1007/s11225-016-9688-6}, researchr = {https://researchr.org/publication/Castro17}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {105}, number = {2}, pages = {229-251}, }