The following pages link to Logics of public communications (Q2460188):
Displayed 50 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)
- Verification of dynamic bisimulation theorems in Coq (Q2035655) (← links)
- Endogenizing epistemic actions (Q2062216) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Discrete linear temporal logic with knowing-value operator (Q2148826) (← links)
- Complexity of finite-variable fragments of propositional temporal and modal logics of computation (Q2148903) (← links)
- On inverse operators in dynamic epistemic logic (Q2151411) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- The fundamental problem of logical omniscience (Q2194114) (← links)
- Populational announcement logic (PPAL) (Q2219080) (← links)
- A four-valued dynamic epistemic logic (Q2228448) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- A simple logic of functional dependence (Q2240545) (← 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)
- A logic of knowing why (Q2693121) (← 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)
- (Q3384067) (← links)