Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION - MaRDI portal

SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION

From MaRDI portal

Publication:3577742

Jump to:navigation, search

DOI10.1017/S1755020309990384zbMath1208.03021MaRDI QIDQ3577742

Krister Segerberg

Publication date: 23 July 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

belief revision dynamic logic epistemic logic doxastic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

A modal logic of metaphor

Cites Work

This page was built for publication: SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3577742&oldid=16980673"