No label defined (Q5018513)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7450030

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7450030

Statements

scholarly article

0 references

Malvin Gattinger

0 references

0 references

publication date

20 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1907.09105

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2019.14

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Information Flow

0 references

0 references

Orderings for term-rewriting systems

0 references

Hidden protocols: modifying our expectations in an evolving world

0 references

Dynamic epistemic logic

0 references

Knowing Values and Public Inspection

0 references

On the origins of Dénes König's infinity lemma

0 references

A logic for reasoning about ambiguity

0 references

Game theory and mutual misunderstanding. Scientific dialogues in five acts. Translated by Ruth Vanbaelen and Mamoru Kaneko.

0 references

Sequent Systems for Nondeterministic Propositional Logics without Reflexivity

0 references

Logics of public communications

0 references

Reasoning about Protocol Change and Knowledge

0 references

On axiomatizations of public announcement logic

0 references

Identifiers

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5018513

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5018513&oldid=36752312"