Dynamic epistemic logic
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Majority merging by adaptive counting
- Extending probabilistic dynamic epistemic logic
- Interrogative belief revision in modal logic
- On the modal logic of Jeffrey conditionalization
- A complete coalition logic of temporal knowledge for multi-agent systems
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction
- Computation as social agency: what, how and who
- Resolving distributed knowledge
- Reflecting on social influence in networks
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- Rigged lotteries: a diachronic problem for reducing belief to credence
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
- Dynamic epistemic logics of introspection
- Dynamic logic: a personal perspective
- Combinatorial bitstring semantics for arbitrary logical fragments
- Bilattice logic of epistemic actions and knowledge
- A dynamic solution to the problem of logical omniscience
- The dynamics of epistemic attitudes in resource-bounded agents
- Dynamic epistemic logics of diffusion and prediction in social networks
- The monodic fragment of propositional term modal logic
- Introspection as an action in relational models
- Changing types: information dynamics for qualitative type spaces
- A logic for diffusion in social networks
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Event-based time-stamped claim logic
- Autoepistemic answer set programming
- Simple hyperintensional belief revision
- A logic for disjunctive ignorance
- Endogenizing epistemic actions
- Dynamic logic of legal competences
- A semantics for hyperintensional belief revision based on information bases
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- Adding proof calculi to epistemic logics with structured knowledge
- Formalized soundness and completeness of epistemic logic
- Wanted dead or alive: epistemic logic for impure simplicial complexes
- Dynamic coalition logic: granting and revoking dictatorial powers
- Crossing hands in the Russian cards problem
- Situated epistemic updates
- How knowledge triggers obligation. A dynamic logic of epistemic conditional obligation
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation
- On inverse operators in dynamic epistemic logic
- Knowledge-based strategies for multi-agent teams playing against nature
- Awareness in logic and epistemology. A conceptual schema and logical study of the underlying main epistemic concepts
- Logics with group announcements and distributed knowledge: completeness and expressive power
- Non-strict interventionism: the case of right-nested counterfactuals
- A modal view on resource-bounded propositional logics
- Monitoring hyperproperties with circuits
- Embedding causal team languages into predicate logic
- A closeness- and priority-based logical study of social network creation
- The fundamental problem of logical omniscience
- DEL-based epistemic planning: decidability and complexity
- Arrow update synthesis
- Geodesic merging
- A four-valued dynamic epistemic logic
- Coalition and relativised group announcement logic
- Logics of imprecise comparative probability
- Generation and selection of abductive explanations for non-omniscient agents
- Quantum information versus epistemic logic: an analysis of the Frauchiger-Renner theorem
- Notational variance and its variants
- Intensional protocols for dynamic epistemic logic
- From oughts to goals: a logic for Enkrasia
- A family of graded epistemic logics
- Dynamic epistemic logic with communication actions
- Epistemic logics with structured knowledge
- Symposium: Logic and economics -- interactions between subjective thinking and objective worlds
- Evaluations of epistemic components for resolving the muddy children puzzle
- From single agent to multi-agent via hypersequents
- The undecidability of arbitrary arrow update logic
- A topological approach to full belief
- Bimodal logics with contingency and accident
- A logical study of group-size based social network creation
- Epistemic closure and commutative, nonassociative residuated structures
- Inference as doxastic agency. I: The basics of justification stit logic
- Graded epistemic logic with public announcement
- A logic for factive ignorance
- A logic for binary classifiers and their explanation
- Relevant epistemic logic with public announcements and common knowledge
- Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
- Intuitionistic layered graph logic
- The dynamic turn in formal epistemology: the case of explanatory reasoning
- Reasoning about justified belief based on the fusion of evidence
- Bounded situation calculus action theories
- The surprise examination paradox in dynamic epistemic logic
- Axiomatization and completeness of lexicographic products of modal logics
- On interactive knowledge with bounded communication
- Composing models
- Updating knowledge using subsets
- A logic for extensional protocols
- Deceit and indefeasible knowledge: the case of dubitatio
- Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic
- Conditional epistemic planning
- Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)
- Exponential-size model property for PDL with separating parallel composition
- Agency and Interaction What We Are and What We Do in Formal Epistemology
- Dynamic Epistemic Logic and Logical Omniscience
- From Situation Calculus to Dynamic Epistemic Logic
- Relating truth, knowledge and belief in epistemic states
- Announcements to attentive agents
- Learning in a changing world, an algebraic modal logical approach
- A modal framework for relating belief and signed information
This page was built for publication: Dynamic epistemic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q953926)
