Adding proof calculi to epistemic logics with structured knowledge
From MaRDI portal
Publication:2145260
DOI10.1007/978-3-030-89247-0_4zbMath1496.68309OpenAlexW3206195904MaRDI QIDQ2145260
Alexandre Madeira, Manuel A. Martins, Mario R. F. Benevides
Publication date: 17 June 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-89247-0_4
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Pure extensions, proof rules, and hybrid axiomatics
- Dynamic epistemic logic
- Probabilistic logic
- An elementary proof of the completeness of PDL
- Propositional dynamic logic of regular programs
- Probabilistic dynamic epistemic logic
- First-order modal logic
- A family of graded epistemic logics
- Epistemic logics with structured knowledge
- An exercise on the generation of many-valued dynamic logics
- Epistemology Without Knowledge and Without Belief
- Beyond Knowing That: A New Generation of Epistemic Logics
- A Poor Man’s Epistemic Logic Based on Propositional Assignment and Higher-Order Observation
- Logical Foundations of Cyber-Physical Systems
- Agents that look at one another
- Knowing Values and Public Inspection
This page was built for publication: Adding proof calculi to epistemic logics with structured knowledge
