@article(Alur1995,
 author       = {Rajeev Alur and Costas Courcoubetis and Nicolas Halbwachs and Thomas A. Henzinger and Pei-Hsin Ho and Xavier Nicollin and Alfredo Olivero and Joseph Sifakis and Sergio Yovine},
 year         = {1995},
 title        = {The algorithmic analysis of hybrid systems},
 journal      = {Theoretical Computer Science},
 volume       = {138},
 number       = {1},
 pages        = {3--34},
 doi          = {10.1016/0304-3975(94)00202-T},
)
@article(jsan10030041,
 author       = {Gleifer Vaz Alves and Louise Dennis and Michael Fisher},
 year         = {2021},
 title        = {A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations},
 journal      = {Journal of Sensor and Actuator Networks},
 volume       = {10},
 number       = {3},
 doi          = {10.3390/jsan10030041},
)
@article(artemov2001explicit,
 author       = {Sergei N Artemov},
 year         = {2001},
 title        = {Explicit provability and constructive semantics},
 journal      = {Bulletin of Symbolic logic},
 volume       = {7},
 number       = {1},
 pages        = {1--36},
 doi          = {10.2307/2687821},
)
@article(artemov:jck:2006,
 author       = {Sergei N. Artemov},
 year         = {2006},
 title        = {Justified common knowledge},
 journal      = {Theoretical Computer Science},
 volume       = {357},
 number       = {1-3},
 pages        = {4--22},
 doi          = {10.1016/j.tcs.2006.03.009},
)
@article(artemov:logic-justification:2008,
 author       = {Sergei N. Artemov},
 year         = {2008},
 title        = {The Logic of Justification},
 journal      = {The Review of Symbolic Logic},
 volume       = {1},
 number       = {4},
 pages        = {477--513},
 doi          = {10.1017/S1755020308090060},
)
@article(baier2021verification,
 author       = {Christel Baier and Clemens Dubslaff and Florian Funke and Simon Jantsch and Rupak Majumdar and Jakob Piribauer and Robin Ziemek},
 year         = {2021},
 title        = {From Verification to Causality-based Explications},
 journal      = {arXiv preprint arXiv:2105.09533},
)
@book(barwise1989situation,
 author       = {Jon Barwise},
 year         = {1989},
 title        = {The situation in logic},
 series       = {CSLI Lecture notes},
 volume       = {17},
 publisher    = {Center for the Study of Language and Information (CSLI), Stanford},
)
@article(binczak2007poset,
 author       = {Bi\IeC{\'n}czak, G. and A.B. Romanowska and J.D.H. Smith},
 year         = {2007},
 title        = {Poset extensions, convex sets, and semilattice presentations},
 journal      = {Discrete Mathematics},
 volume       = {307},
 number       = {1},
 pages        = {1--11},
 doi          = {10.1016/j.disc.2006.09.021},
)
@book(blackburn2006handbook,
 author       = {Patrick Blackburn and Johan van Benthem and Frank Wolter},
 year         = {2006},
 title        = {Handbook of modal logic},
 publisher    = {Elsevier},
)
@book(clarke2018model,
 author       = {Clarke Jr., Edmund M. and Orna Grumberg and Daniel Kroening and Doron Peled and Helmut Veith},
 year         = {2018},
 title        = {Model checking},
 edition      = {2nd},
 series       = {Cyper Physical Systems Series},
 publisher    = {MIT press},
)
@article(Damm2012,
 author       = {Werner Damm and Henning Dierks and Stefan Disch and Willem Hagemann and Florian Pigorsch and Christoph Scholl and Uwe Waldmann and Boris Wirtz},
 year         = {2012},
 title        = {Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces},
 journal      = {Science of Computer Programming},
 volume       = {77},
 number       = {10-11},
 pages        = {1122--1150},
 doi          = {10.1016/j.scico.2011.07.006},
)
@misc(XAI,
 author       = {DARPA},
 title        = {Explainable Artificial Intelligence (XAI) Program},
 url          = {https://www.darpa.mil/program/explainable-artificial-intelligence},
 note         = {Last accessed on 06/10/2021},
)
@inproceedings(dissing2020implementing,
 author       = {Lasse Dissing and Thomas Bolander},
 year         = {2020},
 title        = {Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic},
 editor       = {Christian Bessiere},
 booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI-20}},
 publisher    = {International Joint Conferences on Artificial Intelligence Organization},
 pages        = {1615--1621},
 doi          = {10.24963/ijcai.2020/224},
)
@book(fagin2003,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {2003},
 title        = {Reasoning About Knowledge},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
)
@article(fisher2013verifying,
 author       = {Michael Fisher and Louise Dennis and Matt Webster},
 year         = {2013},
 title        = {Verifying autonomous systems},
 journal      = {Communications of the ACM},
 volume       = {56},
 number       = {9},
 pages        = {84--93},
 doi          = {10.1145/2494558},
)
@book(fitting1983proof,
 author       = {Melvin Fitting},
 year         = {1983},
 title        = {Proof methods for modal and intuitionistic logics},
 series       = {Synthese Library},
 volume       = {169},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/978-94-017-2794-5},
)
@article(fitting2008quantified,
 author       = {Melvin Fitting},
 year         = {2008},
 title        = {A quantified logic of evidence},
 journal      = {Annals of Pure and Applied Logic},
 volume       = {152},
 number       = {1},
 pages        = {67--83},
 doi          = {10.1016/j.apal.2007.11.003},
)
@incollection(Frehse2011,
 author       = {Goran Frehse and Le Guernic, Colas and Alexandre Donz\'{e} and Scott Cotton and Rajarshi Ray and Olivier Lebeltel and Rodolfo Ripado and Antoine Girard and Thao Dang and Oded Maler},
 year         = {2011},
 title        = {Space{E}x: Scalable Verification of Hybrid Systems},
 editor       = {Ganesh Gopalakrishnan and Shaz Qadeer},
 booktitle    = {Computer Aided Verification},
 series       = {Lecture Notes in Computer Science},
 volume       = {6806},
 publisher    = {Springer, Heidelberg},
 pages        = {379--395},
 doi          = {10.1007/978-3-642-22110-1\_30},
)
@inproceedings(gerbrandy1998,
 author       = {Jelle Gerbrandy},
 year         = {1998},
 title        = {Distributed knowledge},
 booktitle    = {Twendial 1998: Formal Semantics and Pragmatics of Dialogue},
 volume       = {98},
 pages        = {111--124},
)
@article(HHMW12,
 author       = {Volker Haarslev and Kay Hidde and Ralf M{\"o}ller and Michael Wessel},
 year         = {2012},
 title        = {The RacerPro knowledge representation and reasoning system},
 journal      = {Semantic Web Journal},
 volume       = {3},
 number       = {3},
 pages        = {267--277},
 doi          = {10.3233/SW-2011-0032},
)
@inproceedings(halpern1985,
 author       = {Joseph Y. Halpern and Yoram Moses},
 year         = {1985},
 title        = {A guide to the modal logics of knowledge and belief: preliminary draft},
 booktitle    = {Proceedings of the 9th international joint conference on Artificial Intelligence -- Volume 1},
 publisher    = {Morgan Kaufmann Publishers Inc.},
 pages        = {480--490},
)
@article(hempel1948studies,
 author       = {Carl G. Hempel and Paul Oppenheim},
 year         = {1948},
 title        = {Studies in the Logic of Explanation},
 journal      = {Philosophy of science},
 volume       = {15},
 number       = {2},
 pages        = {135--175},
 doi          = {10.1086/286983},
)
@inproceedings(kaminski2013inkresat,
 author       = {Mark Kaminski and Tobias Tebbi},
 year         = {2013},
 title        = {InKreSAT: modal reasoning via incremental reduction to SAT},
 editor       = {Maria Paola Bonacina},
 booktitle    = {Automated Deduction -- CADE-24},
 organization = {Springer},
 pages        = {436--442},
 doi          = {10.1007/978-3-642-38574-2\_31},
)
@book(lewis1973counterfactuals,
 author       = {David Lewis},
 year         = {1973},
 title        = {Counterfactuals},
 edition      = {reissued 2001},
 publisher    = {Blackwell},
)
@article(massacci2000single,
 author       = {Fabio Massacci},
 year         = {2000},
 title        = {Single step tableaux for modal logics},
 journal      = {Journal of Automated Reasoning},
 volume       = {24},
 number       = {3},
 pages        = {319--364},
 doi          = {10.1023/A:1006155811656},
)
@book(sae,
 author       = {{On-Road Automated Driving (ORAD) committee}},
 title        = {Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles},
 edition      = {2021-04-30},
 publisher    = {SAE International},
 doi          = {10.4271/J3016\_202104},
)
@misc(CPEC,
 author       = {Foundations of Perspicuous Software Systems},
 title        = {Center for Perspicuous Computing\tmspace+\thinmuskip{.1667em}---\tmspace+\thinmuskip{.1667em}Research},
 url          = {https://www.perspicuous-computing.science/research/},
 note         = {Last accessed on 06/10/2021},
)
@inproceedings(platzer2019logical,
 author       = {Andr{\'e} Platzer},
 year         = {2019},
 title        = {The logical path to autonomous cyber-physical systems},
 booktitle    = {International Conference on Quantitative Evaluation of Systems},
 organization = {Springer},
 pages        = {25--33},
 doi          = {10.1007/978-3-030-30281-8\_2},
)
@book(popper2005logic,
 author       = {Karl Popper},
 year         = {2002},
 title        = {The logic of scientific discovery},
 edition      = {2nd},
 publisher    = {Routledge},
 doi          = {10.4324/9780203994627},
)
@inproceedings(rao1995bdi,
 author       = {Anand S. Rao and Michael P. Georgeff},
 year         = {1995},
 title        = {BDI agents: From theory to practice.},
 booktitle    = {Proceedings of the First International Conference on Multiagent Systems (ICMAS)},
 pages        = {312--319},
)
@article(sebastiani2009automated,
 author       = {Roberto Sebastiani and Michele Vescovi},
 year         = {2009},
 title        = {Automated reasoning in modal and description logics via SAT encoding: the case study of K(m)/ALC-satisfiability},
 journal      = {Journal of Artificial Intelligence Research},
 volume       = {35},
 pages        = {343--389},
 doi          = {10.1613/jair.2675},
)
@article(silva_1993,
 author       = {Pedro V. Silva},
 year         = {1993},
 title        = {On the semilattice of idempotents of a free inverse monoid},
 journal      = {Proceedings of the Edinburgh Mathematical Society},
 volume       = {36},
 number       = {2},
 pages        = {349\IeC{\textendash}360},
 doi          = {10.1017/S0013091500018447},
)
@article(silva2000unique,
 author       = {Pedro V. Silva},
 year         = {2000},
 title        = {On unique factorization semilattices},
 journal      = {Discussiones Mathematicae-General Algebra and Applications},
 volume       = {20},
 number       = {1},
 pages        = {97--120},
 doi          = {10.7151/dmgaa.1009},
)
@book(toulmin,
 author       = {Stephen Edelston Toulmin},
 year         = {2003},
 title        = {The Uses of Argument.},
 volume       = {Updated ed},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511840005},
)
@inproceedings(10.1007/11814771_26,
 author       = {Dmitry Tsarkov and Ian Horrocks},
 year         = {2006},
 title        = {FaCT++ Description Logic Reasoner: System Description},
 editor       = {Ulrich Furbach and Natarajan Shankar},
 booktitle    = {Automated Reasoning},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {292--297},
 doi          = {10.1007/11814771\_26},
)
@book(van2007dynamic,
 author       = {Van Ditmarsch, Hans and Wiebe van Der Hoek and Barteld Kooi},
 year         = {2007},
 title        = {Dynamic epistemic logic},
 volume       = {337},
 publisher    = {Springer Science \& Business Media},
)
@inproceedings(10.1007/978-3-540-73595-3_38,
 author       = {Christoph Weidenbach and Renate A. Schmidt and Thomas Hillenbrand and Rostislav Rusev and Dalibor Topic},
 year         = {2007},
 title        = {System Description: Spass Version 3.0},
 editor       = {Frank Pfenning},
 booktitle    = {Automated Deduction -- CADE-21},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {514--520},
 doi          = {10.1007/978-3-540-73595-3\_38},
)