The following pages link to Logics of public communications (Q2460188):
Displayed 49 items.
- Arbitrary arrow update logic (Q343913) (← links)
- Multi-agent justification logic: communication and evidence elimination (Q375307) (← links)
- Evidence and plausibility in neighborhood structures (Q392275) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- Syntactic awareness in logical dynamics (Q513899) (← links)
- Paraconsistent dynamics (Q514033) (← links)
- Inquisitive dynamic epistemic logic (Q514589) (← links)
- Dynamic logics of knowledge and access (Q625719) (← links)
- Dynamic logics of evidence-based beliefs (Q647408) (← links)
- Reasoning about permitted announcements (Q652739) (← links)
- Ockham's razor and reasoning about information flow (Q833039) (← links)
- Temporal languages for epistemic programs (Q1006494) (← links)
- Public and private communication are different: Results on relative expressivity (Q1024135) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Combinatorial bitstring semantics for arbitrary logical fragments (Q1749808) (← links)
- The many faces of closure and introspection. An ineractive perspective (Q1947027) (← links)
- The fundamental problem of logical omniscience (Q2194114) (← links)
- Toward a theory of play: a logical perspective on games and interaction (Q2344965) (← links)
- Formalising privacy policies in social networks (Q2360657) (← links)
- The modal logic of copy and remove (Q2401633) (← links)
- The undecidability of arbitrary arrow update logic (Q2404071) (← links)
- Realizing public announcements by justifications (Q2453578) (← links)
- The undecidability of iterated modal relativization (Q2574887) (← links)
- Refinement Quantified Logics of Knowledge (Q2825410) (← links)
- Justifications for common knowledge (Q2901206) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Exploring the Power of Converse Events (Q2902941) (← links)
- THE EXPRESSIVITY OF FACTUAL CHANGE IN DYNAMIC EPISTEMIC LOGIC (Q2940872) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions (Q2971701) (← links)
- A Qualitative Theory of Dynamic Interactive Belief Revision (Q2971702) (← links)
- Logical Dynamics of Evidence (Q3093993) (← links)
- A Dynamic Analysis of Interactive Rationality (Q3094011) (← links)
- 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)
- Algebraic Semantics for Dynamic Dynamic Logic (Q3457709) (← 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)
- 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 of multi-agent belief-interaction (Q5901494) (← links)
- A formal model of multi-agent belief-interaction (Q5920620) (← links)