Handbook of epistemic logic

zbMATH Open1392.03009MaRDI QIDQ4578043FDOQ4578043

Author name not available (Why is that?)

Publication date: 7 August 2018

Recommendations

• On logics of knowledge and belief
• Dynamic epistemic logic
• scientific article; zbMATH DE number 10093
• Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
• scientific article; zbMATH DE number 824735

Mathematics Subject Classification ID

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)