The following pages link to (Q3509047):
Displaying 26 items.
- Belief change in branching time: AGM-consistency and iterated revision (Q421352) (← links)
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- McCarthy variations in a modal key (Q543607) (← links)
- Finite identification from the viewpoint of epistemic update (Q553305) (← links)
- Merging DEL and ETL (Q616038) (← links)
- Automata for epistemic temporal logic with synchronous communication (Q616040) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Preface to the special issue: Temporal logics of agency (Q616042) (← links)
- Logic for update products and steps into the past (Q636377) (← links)
- Actions as events (Q692178) (← links)
- The information in intuitionistic logic (Q833032) (← links)
- A logic of intention and attempt (Q934779) (← links)
- Property persistence in the situation calculus (Q991025) (← links)
- Diversity of agents and their interaction (Q1006512) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Modeling reasoning in a social setting (Q2016076) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- Uniform strategies, rational relations and jumping automata (Q2346407) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall (Q3393383) (← links)
- From DEL to EDL: Exploring the Power of Converse Events (Q3524930) (← links)
- Reasoning about Strategies (Q4922091) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
- Logic and Game Theory (Q5249678) (← links)