@book(Blackburn,
 author       = "P. Blackburn and M.de Rijke and Y.de Venema",
 year         = "2001",
 title        = "Modal Logic",
 publisher    = "Cambridge Tracts in Theoretical Computer Science 53",
)
@phdthesis(BroersenThesis,
 author       = "J. Broersen",
 year         = "2003",
 title        = "Modal Action Logics for Reasoning about Reactive Systems",
 school       = "Vrije University",
)
@phdthesis(PhDThesis,
 author       = "Pablo F. Castro",
 year         = "2009",
 title        = "Deontic Action Logics for the Specification and Analysis of Fault-Tolerance",
 school       = "McMaster University, Department of Computing and Software",
)
@conference(DEON08,
 author       = "Pablo F. Castro and T.S.E. Maibaum",
 year         = "2008",
 title        = "A Tableaux System for Deontic Action Logic",
 booktitle    = "Proceedings of 9th International Conference on Deontic Logic in Computer Science , Luxembourg.",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-3-540-70525-3\_4",
)
@article(JAL2009,
 author       = "Pablo F. Castro and T.S.E. Maibaum",
 year         = "2009",
 title        = "Deontic Action Logic, Atomic Boolean Algebra and Fault-Tolerance",
 journal      = "Journal of Applied Logic",
 volume       = "7",
 number       = "4",
 pages        = "441--466",
 doi          = "10.1016/j.jal.2009.02.001",
)
@book(Chellas,
 author       = "Brian F. Chellas",
 year         = "1999",
 title        = "Modal Logic: An Introduction",
 publisher    = "Cambridge University Press",
)
@conference(EmersonSurvey,
 author       = "E.A. Emerson",
 year         = "1995",
 title        = "Temporal and Modal Logic",
 booktitle    = "Handbook of Theoretical Computer Science",
 publisher    = "Elsevier",
 pages        = "995--1072",
)
@conference(Fine75,
 author       = "Kit Fine",
 year         = "1975",
 title        = "Normal Forms in Modal Logics",
 booktitle    = "Notre Dame Journal of Formal Logic",
 volume       = "XVI",
 pages        = "229--237",
 doi          = "10.1305/ndjfl/1093891703",
)
@book(Fitting,
 author       = "M. Fitting",
 year         = "1990",
 title        = "First-Order Logic and Automated Theorem Proving",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-1-4684-0357-2",
)
@conference(Fitting72,
 author       = "M. Fitting",
 year         = "April 1972",
 title        = "Tableau Methods of Proof for Modal Logics",
 booktitle    = "Notre Dame Journal of Formal Logic",
 volume       = "XIII",
 doi          = "10.1305/ndjfl/1093894722",
)
@inbook(Gabbay96,
 author       = "Dov M. Gabbay",
 year         = "1996",
 title        = "Labelled Deductive Systems, Volume 1",
 publisher    = "Oxford University Press",
)
@inproceedings(BooleanModalLogic,
 author       = "G. Gargov and S. Passy",
 year         = "1990",
 title        = "A Note on Boolean Logic",
 editor       = "P.P.Petkov",
 booktitle    = "Proceedings of the Heyting Summerschool",
 publisher    = "Plenum Press",
 doi          = "10.1007/978-1-4613-0609-2\_21",
)
@conference(Giacomo-Massacci,
 author       = "G. Giacomo and F. Massacci",
 year         = "1996",
 title        = "Tableaux and Algorithms for Propositional Dynamic Logic with Converse",
 booktitle    = "Conference on Automated Deduction",
 doi          = "10.1006/inco.1999.2852",
)
@techreport(Gore95,
 author       = "Rajeev Gor\'e",
 year         = "1995",
 title        = "Tableau Methods for Modal and Temporal Logics",
 type         = "Technical Report",
 number       = "TR-ARP-15-95",
 institution  = "Australian National University",
)
@inbook(DynamicLogic,
 author       = "D. Harel and D. Kozen and J. Tiuryn",
 year         = "2000",
 title        = "Dynamic Logic",
 publisher    = "MIT Press",
)
@inproceedings(MaibaumKhosla,
 author       = "S. Khosla and T.S.E. Maibaum",
 year         = "1985",
 title        = "The Prescription and Description of State-Based Systems.",
 editor       = "H.Barringer B.Banieqnal and A.Pnueli",
 booktitle    = "Temporal Logic in Computation",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/3-540-51803-7\_30",
)
@inproceedings(Lutz2000,
 author       = "Carsten Lutz and Ulrike Sattler",
 year         = "2000",
 title        = "The Complexity of Reasoning with Boolean Modal Logics",
 booktitle    = "Advances in Modal Logic 3",
 publisher    = "World Scientific",
 pages        = "329--348",
 doi          = "10.1142/9789812776471\_0018",
)
@article(Massacci2000,
 author       = "Fabio Massacci",
 year         = "2000",
 title        = "Single Step Tableaux for Modal Logics",
 journal      = "J. Autom. Reasoning",
 volume       = "24",
 number       = "3",
 pages        = "319--364",
 doi          = "10.1023/A:1006155811656",
)
@inproceedings(J.J.Meyer,
 author       = "J.J. Meyer",
 year         = "1988",
 title        = "A Different Approach to Deontic Logic: Deontic Logic Viewed as Variant of Dynamic Logic",
 booktitle    = "Notre Dame Journal of Formal Logic",
 volume       = "29",
 doi          = "10.1305/ndjfl/1093637776",
)
@book(Monk,
 author       = "J.D. Monk",
 year         = "1976",
 title        = "Mathematical Logic",
 series       = "Graduate Texts in Mathematics",
 publisher    = "Springer-Verlag",
)
@book(Pratt78,
 author       = "V.R. Pratt",
 year         = "1978",
 title        = "A Practical Decision Method for Propositional Dynamic Logic",
 publisher    = "ACM Symposium on Theory of Computing",
 doi          = "10.1145/800133.804362",
)
@article(Segerberg82,
 author       = "Krister Segerberg",
 year         = "1982",
 title        = "A Deontic Logic of Action",
 journal      = "Studia Logica",
 volume       = "41",
 pages        = "269--282",
 doi          = "10.1007/BF00370348",
)
@book(Smullyan68,
 author       = "R.M. Smullyan",
 year         = "1968",
 title        = "First-Order Logic",
 publisher    = "Springer-Verlag New York",
 doi          = "10.1007/978-3-642-86718-7",
)
@conference(TrypuzKulicki2010,
 author       = "Robert Trypuz and Piotr Kulicki",
 year         = "2010",
 title        = "Towards Metalogical Systematisation of Deontic Action Logics Based on Boolean Algebra",
 booktitle    = "Deontic Logic in Computer Science, 10th International Conference",
 publisher    = "Lecture Notes in Computer Science 6181 Springer",
 doi          = "10.1007/978-3-642-14183-6\_11",
)