Handbook of epistemic logic
From MaRDI portal
Publication:4578043
Recommendations
Cited in
(75)- Bilattice logic of epistemic actions and knowledge
- scientific article; zbMATH DE number 7444842 (Why is no real title available?)
- scientific article; zbMATH DE number 1814755 (Why is no real title available?)
- Optimism and pessimism in strategic interactions under ignorance
- The logic of fast and slow thinking
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity
- A public announcement separation logic
- A logic of goal-directed knowing how
- 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
- Information acquisition in the era of fair disclosure: an application of asymmetric awareness
- On logics of knowledge and belief
- Implicit and explicit stances in logic
- Propositional epistemic logics with quantification over agents of knowledge
- Cognitive limits and preferences for information
- 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
- To be announced
- Updating awareness and information aggregation
- Common belief of weak-dominance rationality in strategic-form games: a qualitative analysis
- A probabilistic semantics for belief logic
- scientific article; zbMATH DE number 7450029 (Why is no real title available?)
- \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions
- Modal knowledge for expressivists
- Communication pattern logic: epistemic and topological views
- 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
- A simple logic of functional dependence
- Intensional protocols for dynamic epistemic logic
- Unawareness without AU introspection
- Reverse Bayesianism and act independence
- Quantum epistemology and constructivism
- Reasoning about distributed information with infinitely many agents
- Announcement as effort on topological spaces
- Impure Simplicial Complexes: Complete Axiomatization
- Knowledge and approximations: a formal study under the perspective of information systems and rough set theory
- Arrow update synthesis
- Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics
- A multi-agent depth bounded Boolean logic
- Autoepistemic answer set programming
- A logic of knowing why
- Simple Axioms for Local Properties
- scientific article; zbMATH DE number 7552284 (Why is no real title available?)
- Knowledge and belief. An introduction to the logic of the two notions. Prepared by Vincent F. Hendricks and John Symons
- Resolving distributed knowledge
- On the axiomatization of an unawareness structure from knowing-whether operators
- The logic of framing effects
- An epistemic analysis of dynamic games with unawareness
- The logic of imagination acts: a formal system for the dynamics of imaginary worlds
- 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
- Tort liability and unawareness
- An epistemic separation logic with action models
- Playing cards with Hintikka: an introduction to dynamic epistemic logic
- Cheryl's birthday
- Interpreting knowledge-based programs
- The effort of reasoning: modelling the inference steps of boundedly rational agents
- Hintikka's knowledge and belief in flux
- Knowledge, time, and paradox: introducing sequential epistemic logic
- A separation logic with histories of epistemic actions as resources
- The existence of universal qualitative belief spaces
- BISIMULATIONS FOR KNOWING HOW LOGICS
- 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)
