scientific article; zbMATH DE number 1453144
From MaRDI portal
Publication:4955425
Recommendations
- Efficient reasoning in multiagent epistemic logics
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Computational Logic in Multi-Agent Systems
- Epistemic logic with relevant agents
- Refinement quantified logics of knowledge and belief for multiple agents
- scientific article; zbMATH DE number 1931647
- scientific article; zbMATH DE number 64163
- Epistemic logic for rule-based agents
- Multiple agent possibilistic logic
- Reasoning with Multiple-Agent Possibilistic Logic
Cited in
(25)- A guide to completeness and complexity for modal logics of knowledge and belief
- A polynomial space construction of tree-like models for logics with local chains of modal connectives
- Group knowledge is not always distributed (neither is it always implicit)
- Craig interpolation of epistemic logics with distributed knowledge
- Distributed knowledge justification logics
- Public announcement logic with distributed knowledge
- Intuitionistic multi-agent subatomic natural deduction for belief and knowledge
- Proof Theory for Distributed Knowledge
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems
- Tableau-Based Procedure for Deciding Satisfiability in the Full Coalitional Multiagent Epistemic Logic
- scientific article; zbMATH DE number 140395 (Why is no real title available?)
- scientific article; zbMATH DE number 1522956 (Why is no real title available?)
- scientific article; zbMATH DE number 1749194 (Why is no real title available?)
- Multiple agent possibilistic logic
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity
- Tableau-based decision procedure for the multiagent epistemic logic with all coalitional operators for common and distributed knowledge
- scientific article; zbMATH DE number 7450025 (Why is no real title available?)
- Coalition logic with individual, distributed and common knowledge
- Reasoning with Multiple-Agent Possibilistic Logic
- Pairing traditional and generic common knowledge
- EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
- Reasoning about common knowledge with infinitely many agents
- On algebraic and topological semantics of the modal logic of common knowledge \(\mathsf{S4}^C_I\)
- Reasoning about coalitional games
- Relativized common knowledge for dynamic epistemic logic
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4955425)
