No label defined (Q5016796)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7444842

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

Statements

scholarly article

0 references

Francesco Belardinelli

0 references

Wiebe van der Hoek

0 references

Hans P. van Ditmarsch

0 references

publication date

14 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1707.08735

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?TARK2017.3

0 references

MaRDI profile type

MaRDI publication profile

0 references

Moving Arrows and Four Model Checking Results

0 references

Global and Local Graph Modifiers

0 references

The Logic of Public Announcements, Common Knowledge, and Private Suspicions

0 references

Mechanizing Mathematical Reasoning

0 references

Logical Dynamics of Information and Interaction

0 references

0 references

Announcements to attentive agents

0 references

0 references

0 references

Dynamic epistemic logic

0 references

0 references

Reasoning about information change

0 references

A guide to completeness and complexity for modal logics of knowledge and belief

0 references

ARROW UPDATE LOGIC

0 references

0 references

Logics of public communications

0 references

Distributed knowledge

0 references

Public announcement logic with distributed knowledge: expressivity, completeness and complexity

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5016796

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