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