Dynamic epistemic logic
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction
- DEL planning and some tractable cases
- A family of graded epistemic logics
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
- From Situation Calculus to Dynamic Epistemic Logic
- Event-based time-stamped claim logic
- Algebraic Semantics for Dynamic Dynamic Logic
- A dynamic solution to the problem of logical omniscience
- Channel theoretic reflections on dynamic logics of speech acts
- A logic for binary classifiers and their explanation
- Coalition and relativised group announcement logic
- Further Steps Towards a Logic of Polarization in Social Networks
- A closeness- and priority-based logical study of social network creation
- Reflecting on social influence in networks
- Handbook of epistemic logic
- Channels: From Logic to Probability
- Global and local graph modifiers
- Tracking information
- A logical study of group-size based social network creation
- Knowing values and public inspection
- Simple hyperintensional belief revision
- A logic for disjunctive ignorance
- Majority merging by adaptive counting
- Conditional epistemic planning
- Beyond knowing that: a new generation of epistemic logics
- Bilattice logic of epistemic actions and knowledge
- Terminating tableaux for dynamic epistemic logics
- Preference at first sight
- A semantics for hyperintensional belief revision based on information bases
- Logic and complexity in cognitive science
- The epistemology of nondeterminism
- Epistemic Informativeness
- Bimodal logics with contingency and accident
- Dynamic Epistemic Logic and Logical Omniscience
- Principles of Talmudic logic
- Parameterized complexity results for a model of theory of mind based on dynamic epistemic logic
- Sabotage modal logic: some model and proof theoretic aspects
- Symbolic Model Checking for Dynamic Epistemic Logic
- Symposium: Logic and economics -- interactions between subjective thinking and objective worlds
- From DEL to EDL: Exploring the Power of Converse Events
- Relating truth, knowledge and belief in epistemic states
- The surprise examination paradox in dynamic epistemic logic
- Announcement as effort on topological spaces
- Arrow update synthesis
- Updating knowledge using subsets
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- Resolving distributed knowledge
- Rigged lotteries: a diachronic problem for reducing belief to credence
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic
- Connecting dynamic epistemic and temporal epistemic logics
- Epistemic closure and commutative, nonassociative residuated structures
- Conditional Probability Logic over Conditional Probability Spaces
- Dynamic epistemic logics of introspection
- Dynamic logic: a personal perspective
- Logics of imprecise comparative probability
- Coalition and group announcement logic
- A general framework for dynamic epistemic logic: towards canonical correspondences
- Putting right the wording and the proof of the truth lemma for \textit{APAL}
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- Conditional beliefs: from neighbourhood semantics to sequent calculus
- Dynamic hyperintensional belief revision
- Decisions, Actions, and Games: A Logical Perspective
- A modal view on resource-bounded propositional logics
- Introspection as an action in relational models
- Computation as social agency: what, how and who
- Using hybrid logic for coping with functions in subset spaces
- scientific article; zbMATH DE number 7444842 (Why is no real title available?)
- Composing models
- Generation and selection of abductive explanations for non-omniscient agents
- Epistemic logics with structured knowledge
- A complete coalition logic of temporal knowledge for multi-agent systems
- Notational variance and its variants
- A Hybrid Public Announcement Logic with Distributed Knowledge
- Endogenizing epistemic actions
- Group Belief
- scientific article; zbMATH DE number 7450030 (Why is no real title available?)
- Possible worlds semantics based on observation and communication
- DYNAMIC GRADED EPISTEMIC LOGIC
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
- Embedding causal team languages into predicate logic
- DEL-sequents for progression
- Topological subset space models for public announcements
- Beyond Lamport's Happened-before
- Logic and topology for knowledge, knowability, and belief
- scientific article; zbMATH DE number 7444870 (Why is no real title available?)
- Logic and topology for knowledge, knowability, and belief. Extended abstract
- Exponential-size model property for PDL with separating parallel composition
- On inverse operators in dynamic epistemic logic
- Knowledge-based strategies for multi-agent teams playing against nature
- Logics with group announcements and distributed knowledge: completeness and expressive power
- Non-strict interventionism: the case of right-nested counterfactuals
- DEL-based epistemic planning: decidability and complexity
- Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
- From oughts to goals: a logic for Enkrasia
- Common knowledge in a logic of gossips
- scientific article; zbMATH DE number 7471709 (Why is no real title available?)
- From single agent to multi-agent via hypersequents
- Intuitionistic layered graph logic
- A complete axiomatisation for quantifier-free separation logic
- scientific article; zbMATH DE number 7450037 (Why is no real title available?)
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)
