%0 Journal Article %1 journals/sLogica/Castro17 %A Castro, Pablo F. %D 2017 %J Stud Logica %K dblp %N 2 %P 229-251 %T Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica105.html#Castro17 %V 105

@article{journals/sLogica/Castro17, added-at = {2020-09-01T00:00:00.000+0200}, author = {Castro, Pablo F.}, biburl = {https://www.bibsonomy.org/bibtex/2171d2e9ad82e13a05ea5e3f378e73caa/dblp}, ee = {https://doi.org/10.1007/s11225-016-9688-6}, interhash = {36bd0ebc8476b902771bb74e771e84dc}, intrahash = {171d2e9ad82e13a05ea5e3f378e73caa}, journal = {Stud Logica}, keywords = {dblp}, number = 2, pages = {229-251}, timestamp = {2020-09-09T12:37:18.000+0200}, title = {Tableau Systems for Deontic Action Logics Based on Finite Boolean Algebras, and Their Complexity.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica105.html#Castro17}, volume = 105, year = 2017 }