BISIMULATIONS FOR KNOWING HOW LOGICS
From MaRDI portal
Publication:5078817
DOI10.1017/S1755020321000101zbMath1505.03044OpenAlexW3137260861MaRDI QIDQ5078817
Raul Fervari, Yanjing Wang, Fernando Raymundo Velázquez-Quesada
Publication date: 25 May 2022
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1755020321000101
Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)
Cites Work
- A knowledge based semantics of messages
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Bisimulation for conditional modalities
- Together we know how to achieve: an epistemic logic of know-how
- ``Knowing whether, ``knowing that, and the cardinality of state spaces
- An efficient algorithm for computing bisimulation equivalence
- A logic of goal-directed knowing how
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- Knowing-how under uncertainty
- Multi-agent knowing how via multi-step plans: a dynamic epistemic planning based approach
- A logic of knowing how with skippable plans
- Neighborhood semantics for modal logic
- A logic of knowing why
- Epistemic planning for single- and multi-agent systems
- Introduction to Bisimulation and Coinduction
- Beyond Knowing That: A New Generation of Epistemic Logics
- Alternating-time temporal logic
- A Logic of Knowing How
- Bisimulation for Neighbourhood Structures
- Neighbourhood Structures: Bisimilarity and Basic Model Theory
- Constructive knowledge: what agents can achieve under imperfect information
- Using the Universal Modality: Gains and Questions
- More for free: a dynamic epistemic framework for conformant planning over transition systems*
- ACTION TYPES IN STIT SEMANTICS
- Coalition logic with individual, distributed and common knowledge1
- Neighbourhood Contingency Bisimulation
- Knowing Values and Public Inspection
- Achieving While Maintaining:
- CONTINGENCY AND KNOWING WHETHER
- Justification Logic
- INSTANTIAL NEIGHBOURHOOD LOGIC
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
