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
Finite model property and bisimulation for LFD - MaRDI portal

Finite model property and bisimulation for LFD

From MaRDI portal

Publication:6649522

Jump to:navigation, search

DOI10.4204/eptcs.346.11MaRDI QIDQ6649522

Unnamed Author

Publication date: 6 December 2024

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Model theory of finite structures (03C13) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Finite model property and bisimulation for LFD

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