Keyword:modal logic

Publications
The Quantified Reflection Calculus as a Modal Logic Ana de Almeida Borges and Joost J. Joosten EasyChair Preprint 8634
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement Tim Lyon EasyChair Preprint 7080
A Framework for Intuitionistic Grammar Logics Tim Lyon EasyChair Preprint 7068
Reasoning About Group Polarization: From Semantic Games to Sequent Systems Robert Freiman, Carlos Olarte, Elaine Pimentel and Christian Fermüller In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Counterfactuals Modulo Temporal Logics Bernd Finkbeiner and Julian Siber In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Common Knowledge in an Epistemic Logic with Hypotheses Levan Uridia and Dirk Walther In:GCAI 2020. 6th Global Conference on Artificial Intelligence (GCAI 2020)
Common Knowledge in Epistemic Logic With Hypotheses Levan Uridia and Dirk Walther In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
The Triguarded Fragment of First-Order Logic Sebastian Rudolph and Mantas Simkus In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Trust, Belief and Honesty David Pearce and Levan Uridia In:GCAI 2015. Global Conference on Artificial Intelligence
Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics Damien Doligez, Jael Kriener, Leslie Lamport, Tomer Libal and Stephan Merz In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Problem Libraries for Non-Classical Logics Jens Otten and Thomas Raths In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Two-layer modal logics: from fuzzy logics to a general framework Petr Cintula and Carles Noguera In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Algorithmic correspondence for intuitionistic modal mu-calculus, Part 2 Willem Conradie, Yves Fomatati, Alessandra Palmigiano and Sumit Sourabh In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Topological completeness of extensions of S4 Guram Bezhanishvili, David Gabelaia and Joel Lucero-Bryan In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Implementing Different Proof Calculi for First-order Modal Logics Christoph Benzmüller, Jens Otten and Thomas Raths In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
The Frame Problem and the Semantics of Classical Proofs Graham White In:Turing-100. The Alan Turing Centenary