Handbook of epistemic logic
From MaRDI portal
Publication:4578043
zbMATH Open1392.03009MaRDI QIDQ4578043FDOQ4578043
Author name not available (Why is that?)
Publication date: 7 August 2018
Recommendations
Logics of knowledge and belief (including belief change) (03B42) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Logic in artificial intelligence (68T27) Logic in computer science (03B70)
Cited In (72)
- Bilattice logic of epistemic actions and knowledge
- Title not available (Why is that?)
- A public announcement separation logic
- Optimism and pessimism in strategic interactions under ignorance
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
- A logic of goal-directed knowing how
- Information acquisition in the era of fair disclosure: an application of asymmetric awareness
- Implicit and explicit stances in logic
- Cognitive limits and preferences for information
- Propositional epistemic logics with quantification over agents of knowledge
- DYNAMIC GRADED EPISTEMIC LOGIC
- Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic
- Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Updating awareness and information aggregation
- Common belief of weak-dominance rationality in strategic-form games: a qualitative analysis
- A probabilistic semantics for belief logic
- Title not available (Why is that?)
- A logico-epistemic investigation of Frauchiger and Renner's paradox
- \(Log_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- Epistemic foundations for set-algebraic representations of knowledge
- Adding proof calculi to epistemic logics with structured knowledge
- Wanted dead or alive: epistemic logic for impure simplicial complexes
- Private announcements on topological spaces
- Quantum epistemology and constructivism
- A simple logic of functional dependence
- Intensional protocols for dynamic epistemic logic
- Reverse Bayesianism and act independence
- Unawareness without AU introspection
- Title not available (Why is that?)
- Reasoning about distributed information with infinitely many agents
- Announcement as effort on topological spaces
- Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
- Arrow update synthesis
- A multi-agent depth bounded Boolean logic
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
- Autoepistemic answer set programming
- A logic of knowing why
- Title not available (Why is that?)
- Resolving distributed knowledge
- Beyond Knowing That: A New Generation of Epistemic Logics
- An epistemic analysis of dynamic games with unawareness
- Dynamic term-modal logics for first-order epistemic planning
- Formalizing common belief with no underlying assumption on individual beliefs
- A history based logic for dynamic preference updates
- Satisfiability in a Temporal Multi-valueted Logic Based on Z
- Title not available (Why is that?)
- A Substructural Epistemic Resource Logic
- In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming
- BISIMULATIONS FOR KNOWING HOW LOGICS
- Title not available (Why is that?)
- The logic of fast and slow thinking
- Dynamic modal logic with counting: when reduction axioms work and fail
- Solving modal logic problems by translation to higher-order logic
- Knowing the value of a predicate
- Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
- \textit{De re} updates
- To be announced
- Modal knowledge for expressivists
- Communication pattern logic: epistemic and topological views
- Impure Simplicial Complexes: Complete Axiomatization
- Simple Axioms for Local Properties
- On the axiomatization of an unawareness structure from knowing-whether operators
- The logic of framing effects
- The logic of imagination acts: a formal system for the dynamics of imaginary worlds
- Tort liability and unawareness
- An epistemic separation logic with action models
- Interpreting knowledge-based programs
- The effort of reasoning: modelling the inference steps of boundedly rational agents
- A separation logic with histories of epistemic actions as resources
- The existence of universal qualitative belief spaces
- How easy it is to know how: an upper bound for the satisfiability problem
This page was built for publication: Handbook of epistemic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4578043)