modal logic

A Framework for Belief-based Programs and Their Verification (Abstract Reprint) AAAI 2026 An Epistemic Perspective on Agent Awareness AAAI 2026 Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach AAAI 2026 Expressive Power of Graph Transformers via Logic AAAI 2026 Logical Characterizations of GNNs with Mean Aggregation AAAI 2026 Non-Monotonic S4F Standpoint Logic AAAI 2026 The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic AAAI 2026 A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025 A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity AAAI 2025 A Modal Logic of Optimality (Student Abstract) AAAI 2025 Enhancing the Logical Reasoning Abilities of Large Language Models IJCAI 2025 First-Order Coalition Logic IJCAI 2025 Logical forms complement probability in understanding language model (and human) performance ACL 2025 Minimal Change in Modal Logic S5 AAAI 2025 Agentive Permissions in Multiagent Systems IJCAI 2024 A Logic for Reasoning about Aggregate-Combine Graph Neural Networks IJCAI 2024 Logical characterizations of recurrent graph neural networks with reals and floats NeurIPS 2024 Model Checking Causality IJCAI 2024 Responsibility in Extensive Form Games AAAI 2024 Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract) IJCAI 2024 The Logic of Doxastic Strategies AAAI 2024 A Rule-Based Modal View of Causal Reasoning IJCAI 2023 Common Knowledge of Abstract Groups AAAI 2023 Data-Informed Knowledge and Strategies (Extended Abstract) IJCAI 2023 MindGames: Targeting Theory of Mind in Large Language Models with Dynamic Epistemic Modal Logic EMNLP 2023