The following pages link to Logics of public communications (Q2460188):
Displaying 39 items.
- Seeing, Knowledge and Common Knowledge (Q3094012) (← links)
- ARROW UPDATE LOGIC (Q3224046) (← links)
- Topological Subset Space Models for Public Announcements (Q3299575) (← links)
- Possible Worlds Semantics Based on Observation and Communication (Q3299583) (← links)
- (Q3384067) (← links)
- (Q3384084) (← links)
- (Q3384090) (← links)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← links)
- Sum and Product in Dynamic Epistemic Logic (Q3520235) (← links)
- (Q3558467) (← links)
- ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ (Q3580674) (← links)
- Reasoning about knowledge and messages in asynchronous multi-agent systems (Q4559603) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- Putting right the wording and the proof of the Truth Lemma for<i>APAL</i> (Q4586133) (← links)
- Dynamic epistemic logics: promises, problems, shortcomings, and perspectives (Q4586238) (← links)
- (Q5015398) (← links)
- (Q5016796) (← links)
- (Q5018513) (← links)
- Channel Theoretic Reflections on Dynamic Logics of Speech Acts (Q5213674) (← links)
- Knowing Values and Public Inspection (Q5224492) (← links)
- Logic and Probabilistic Update (Q5249676) (← links)
- Incorporating Action Models into the Situation Calculus (Q5249683) (← links)
- A Formal Model for Polarization under Confirmation Bias in Social Networks (Q5883747) (← links)
- A formal model of multi-agent belief-interaction (Q5901494) (← links)
- A formal model of multi-agent belief-interaction (Q5920620) (← links)
- The effort of reasoning: modelling the inference steps of boundedly rational agents (Q6097771) (← links)
- The epistemology of nondeterminism (Q6097774) (← links)
- Epistemic planning: perspectives on the special issue (Q6098843) (← links)
- An Abstract Look at Awareness Models and Their Dynamics (Q6118733) (← links)
- Unification of Modal Logic via Topological Categories (Q6150170) (← links)
- Program semantics and verification technique for AI-centred programs (Q6174548) (← links)
- Data graphs with incomplete information (and a way to complete them) (Q6545578) (← links)
- Action models for coalition logic (Q6550523) (← links)
- A temporal logic for successive events (Q6562543) (← links)
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} (Q6562545) (← links)
- Knowledge representation: modalities, conditionals, and nonmonotonic reasoning (Q6602216) (← links)
- Minimizing agents' state corruption resulting from leak-free epistemic communication modeling (Q6630194) (← links)
- No finite model property for logics of quantified announcements (Q6642571) (← links)
- Visibility and exploitation in social networks (Q6646009) (← links)
