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
Substructural propositional dynamic logics - MaRDI portal

Substructural propositional dynamic logics

From MaRDI portal

Publication:2303619

Jump to:navigation, search

DOI10.1007/978-3-662-59533-6_36OpenAlexW2952337775MaRDI QIDQ2303619

Igor Sedlár

Publication date: 4 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-662-59533-6_36

zbMATH Keywords

modal logic Lambek calculus substructural logic relevant logic propositional dynamic logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Situated epistemic updates

This page was built for publication: Substructural propositional dynamic logics

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