Handbook of epistemic logic
From MaRDI portal
Publication:4578043
zbMATH Open1392.03009MaRDI QIDQ4578043FDOQ4578043
Authors:
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 (75)
- 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
- 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
- On logics of knowledge and belief
- 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
- A substructural epistemic resource logic
- DYNAMIC GRADED EPISTEMIC LOGIC
- On the probability and cost of ignorance, inconsistency, nonsense and more
- In praise of impredicativity: a contribution to the formalization of meta-programming
- 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?)
- \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- A logico-epistemic investigation of Frauchiger and Renner's paradox
- Epistemic foundations for set-algebraic representations of knowledge
- Beyond knowing that: a new generation of epistemic logics
- 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
- 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?)
- Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
- Resolving distributed knowledge
- 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
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- Cheryl's birthday
- Hintikka's knowledge and belief in flux
- Knowledge, time, and paradox: introducing sequential epistemic logic
- BISIMULATIONS FOR KNOWING HOW LOGICS
- Title not available (Why is that?)
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)
