scientific article; zbMATH DE number 7450030
From MaRDI portal
Publication:5018513
Malvin Gattinger, Yanjing Wang
Publication date: 20 December 2021
Full work available at URL: https://arxiv.org/abs/1907.09105
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- On axiomatizations of public announcement logic
- Hidden protocols: modifying our expectations in an evolving world
- A logic for reasoning about ambiguity
- Orderings for term-rewriting systems
- Dynamic epistemic logic
- On the origins of Dénes König's infinity lemma
- Game theory and mutual misunderstanding. Scientific dialogues in five acts. Translated by Ruth Vanbaelen and Mamoru Kaneko.
- Logics of public communications
- Sequent Systems for Nondeterministic Propositional Logics without Reflexivity
- Reasoning about Protocol Change and Knowledge
- Information Flow
- Knowing Values and Public Inspection
This page was built for publication:
