The following pages link to Dynamic epistemic logic (Q953926):
Displayed 50 items.
- Bounded situation calculus action theories (Q286407) (← links)
- Announcements to attentive agents (Q302225) (← links)
- A generalization of inquisitive semantics (Q312497) (← links)
- Belief change in branching time: AGM-consistency and iterated revision (Q421352) (← links)
- Propositional dynamic logic for searching games with errors (Q472791) (← links)
- Information dynamics and uniform substitution (Q484920) (← links)
- Rethinking common belief, revision, and backward induction (Q491310) (← links)
- Syntactic awareness in logical dynamics (Q513899) (← links)
- Inquisitive dynamic epistemic logic (Q514589) (← links)
- Logics of temporal-epistemic actions (Q516250) (← links)
- The language of social software (Q625718) (← links)
- Logic for update products and steps into the past (Q636377) (← links)
- A simple modal logic for belief revision (Q813420) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Rational choice and AGM belief revision (Q840824) (← links)
- Logic and reasoning: do the facts matter? (Q934828) (← links)
- Using hybrid logic for coping with functions in subset spaces (Q965902) (← links)
- Majority merging by adaptive counting (Q1024133) (← links)
- Interrogative belief revision in modal logic (Q1037377) (← links)
- On the modal logic of Jeffrey conditionalization (Q1632050) (← links)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction (Q1633231) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Resolving distributed knowledge (Q1677430) (← links)
- Reflecting on social influence in networks (Q1698338) (← links)
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief (Q1708808) (← links)
- Rigged lotteries: a diachronic problem for reducing belief to credence (Q1709101) (← links)
- Parameterized complexity of theory of mind reasoning in dynamic epistemic logic (Q1711514) (← links)
- Combinatorial bitstring semantics for arbitrary logical fragments (Q1749808) (← links)
- Bilattice logic of epistemic actions and knowledge (Q1987215) (← links)
- A dynamic solution to the problem of logical omniscience (Q2000671) (← links)
- The dynamics of epistemic attitudes in resource-bounded agents (Q2001362) (← links)
- Dynamic epistemic logics of diffusion and prediction in social networks (Q2001364) (← links)
- The monodic fragment of propositional term modal logic (Q2001365) (← links)
- Introspection as an action in relational models (Q2011198) (← links)
- Changing types: information dynamics for qualitative type spaces (Q2016079) (← links)
- A logic for diffusion in social networks (Q2018607) (← links)
- A generalized proof-theoretic approach to logical argumentation based on hypersequents (Q2021565) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Simple hyperintensional belief revision (Q2051125) (← links)
- A logic for disjunctive ignorance (Q2056215) (← links)
- Endogenizing epistemic actions (Q2062216) (← links)
- Dynamic logic of legal competences (Q2071574) (← links)
- A semantics for hyperintensional belief revision based on information bases (Q2144184) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- Adding proof calculi to epistemic logics with structured knowledge (Q2145260) (← links)
- Formalized soundness and completeness of epistemic logic (Q2148773) (← links)
- Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
- Dynamic coalition logic: granting and revoking dictatorial powers (Q2148819) (← links)