modal logic

Model-Checking for Ability-Based Logics with Constrained Plans AAAI 2023 Shhh! The Logic of Clandestine Operations IJCAI 2023 Untangled: A Complete Dynamic Topological Logic AAAI 2023 A Computationally Grounded Logic of 'Seeing-to-it-that' IJCAI 2022 Epistemic Logic of Likelihood and Belief IJCAI 2022 In Data We Trust: The Logic of Trust-Based Beliefs IJCAI 2022 Intelligence in Strategic Games (Extended Abstract) IJCAI 2022 Prevailing in the Dark: Information Walls in Strategic Games AAAI 2022 The Egocentric Logic of Preferences IJCAI 2022 Comprehension and Knowledge AAAI 2021 Epistemic Logic of Know-Who AAAI 2021 Ethical Dilemmas in Strategic Games AAAI 2021 How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021 Mental Actions and Explainability in Kripkean Semantics: What Else do I Know? (Student Abstract) AAAI 2021 On the Learnability of Knowledge in Multi-Agent Logics IJCAI 2021 Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic IJCAI 2021 Two Forms of Responsibility in Strategic Games IJCAI 2021 A Modal Logic for Joint Abilities under Strategy Commitments IJCAI 2020 Knowing-How under Uncertainty (Extended Abstract) IJCAI 2020 A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic IJCAI 2019 Blameworthiness in Strategic Games AAAI 2019 Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability AAAI 2019 Extension Removal in Abstract Argumentation – An Axiomatic Approach AAAI 2019 Partial Awareness AAAI 2019 Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring IJCAI 2019