Group announcement logic
From MaRDI portal
Recommendations
- Coalition and group announcement logic
- Group announcement logic with distributed knowledge
- Coalition and relativised group announcement logic
- Bilattice public announcement logic
- A public announcement separation logic
- scientific article; zbMATH DE number 7444842
- Public announcement logic with distributed knowledge
- Public announcement logic in HOL
- Logic of questions and public announcements
- Reasoning about permitted announcements
Cites work
- `Knowable' as `known after an announcement'
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- A Modal Logic for Coalitional Power in Games
- Alternating-time temporal logic
- Alternation
- Axiomatising the logic of computer programming
- Constructive knowledge: what agents can achieve under imperfect information
- Dynamic Epistemic Logic and Knowledge Puzzles
- scientific article; zbMATH DE number 2182496 (Why is no real title available?)
- Modal logic
- On logics with two variables
- The Russian cards problem
- What one may come to know
Cited in
(50)- Resolving distributed knowledge
- Together we know how to achieve: an epistemic logic of know-how
- APAL with memory Ii better
- The dynamics of epistemic attitudes in resource-bounded agents
- On composition of bounded-recall plans
- Positive announcements
- Verification and strategy synthesis for coalition announcement logic
- Logics with group announcements and distributed knowledge: completeness and expressive power
- Populational announcement logic (PPAL)
- Coalition and relativised group announcement logic
- Knowing-how under uncertainty
- Group announcement logic with distributed knowledge
- Public group announcements and trust in doxastic logic
- The undecidability of arbitrary arrow update logic
- Simulative belief logic
- Arbitrary public announcement logic with memory
- The logic of public announcements, common knowledge, and private suspicions
- Alternating-time temporal announcement logic
- Mathematics of public announcements
- The undecidability of quantified announcements
- Model checking for coalition announcement logic
- Coalition and group announcement logic
- Arbitrary arrow update logic with common knowledge is neither RE nor co-RE
- Together we know how to achieve: an epistemic logic of know-how (extended abstract)
- Arbitrary arrow update logic
- On the Dynamics of Institutional Agreements
- scientific article; zbMATH DE number 1746025 (Why is no real title available?)
- Putting right the wording and the proof of the truth lemma for \textit{APAL}
- Propositional quantification in logics of contingency
- Exploring the tractability border in epistemic tasks
- From public announcements to asynchronous announcements
- Resolving distributed knowledge
- How to agree without understanding each other: public announcement logic with Boolean definitions
- Intelligence in strategic games
- What will they say? -- Public announcement games
- To be announced
- Communication pattern logic: epistemic and topological views
- Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard
- Reasoning about permitted announcements
- First steps in updating knowing how
- No finite model property for logics of quantified announcements
- Attainable knowledge and omniscience
- An epistemic logic of preferences
- Intentionally anonymous public announcements
- Knowable as knowing how to inquire
- Topic-based communication between agents
- Epistemic skills: logical dynamics of knowing and forgetting
- Epistemic skills: reasoning about knowledge and oblivion
- R-Mod: minimal structural revision of \(\mathrm{S}5\) epistemic models
- Knowing the price of success
This page was built for publication: Group announcement logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q975877)
