Pages that link to "Item:Q1037376"

The following pages link to Merging frameworks for interaction (Q1037376):

Displaying 50 items.

• Belief change in branching time: AGM-consistency and iterated revision (Q421352) (← links)
• Book review of: Johan van Benthem, Logical dynamics of information and interaction (Q456975) (← links)
• On axiomatizations of public announcement logic (Q484925) (← links)
• Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
• Logics of temporal-epistemic actions (Q516250) (← links)
• What will they say? -- Public announcement games (Q542137) (← 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)
• To know or not to know: Epistemic approaches to security protocol verification (Q625717) (← links)
• The language of social software (Q625718) (← links)
• Dynamic logics of knowledge and access (Q625719) (← links)
• Logic for update products and steps into the past (Q636377) (← links)
• Reasoning about permitted announcements (Q652739) (← links)
• Toward a dynamic logic of questions (Q692177) (← links)
• Actions as events (Q692178) (← links)
• The information in intuitionistic logic (Q833032) (← links)
• Diversity of agents and their interaction (Q1006512) (← links)
• Dynamic update with probabilities (Q1035842) (← links)
• Dynamic epistemic logic with branching temporal structures (Q1036059) (← links)
• Merging frameworks for interaction (Q1037376) (← links)
• Computation as social agency: what, how and who (Q1641025) (← links)
• Reverse public announcement operators on expanded models (Q1711510) (← links)
• Revocable belief revision (Q2016055) (← links)
• Modeling reasoning in a social setting (Q2016076) (← links)
• Recapturing dynamic logic of relation changers via bounded morphisms (Q2021560) (← links)
• Opaque updates (Q2037297) (← links)
• A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
• Announcement as effort on topological spaces (Q2053358) (← links)
• Endogenizing epistemic actions (Q2062216) (← links)
• Wanted dead or alive: epistemic logic for impure simplicial complexes (Q2148776) (← links)
• Social bot detection as a temporal logic model checking problem (Q2148829) (← links)
• A closeness- and priority-based logical study of social network creation (Q2183577) (← links)
• A history based logic for dynamic preference updates (Q2209166) (← links)
• DEL-based epistemic planning: decidability and complexity (Q2211863) (← links)
• Natural language and logic of agency (Q2255238) (← links)
• Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
• Toward a theory of play: a logical perspective on games and interaction (Q2344965) (← links)
• A logical study of group-size based social network creation (Q2423774) (← links)
• Action models in inquisitive logic (Q2690222) (← links)
• Composing models (Q2901220) (← links)
• A logic for extensional protocols (Q2901223) (← links)
• Logics of Rational Interaction (Q2902939) (← links)
• Knowing One’s Limits: An Analysis in Centered Dynamic Epistemic Logic (Q2902943) (← links)
• Efficient Program Transformers for Translating LCC to PDL (Q2938499) (← links)
• A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling (Q3094005) (← links)
• REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
• Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic (Q3299578) (← links)