Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

How to update neighbourhood models

From MaRDI portal
Publication:5222682
Jump to:navigation, search

DOI10.1093/logcom/exv026zbMath1444.03033OpenAlexW2591126188MaRDI QIDQ5222682

Minghui Ma, Katsuhiko Sano

Publication date: 10 July 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv026


zbMATH Keywords

dynamic epistemic logicpublic announcement logicneighbourhood semantics


Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)


Related Items (2)

Neighbourhood Semantics for Graded Modal Logic ⋮ Unknown truths and false beliefs: completeness and expressivity results for the neighborhood semantics




This page was built for publication: How to update neighbourhood models

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5222682&oldid=19834121"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 8 February 2024, at 18:06.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki