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
scientific article; zbMATH DE number 1047506 - MaRDI portal

scientific article; zbMATH DE number 1047506

From MaRDI portal

Publication:4349283

Jump to:navigation, search

zbMath0874.03025MaRDI QIDQ4349283

Maarten Marx

Publication date: 5 November 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completeness decidability Kleene star propositional dynamic logic complete axiomatization arrow logic arrow-frames pair-frames Peirce Algebras reasoning about states reasoning about transitions or programs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (1)

The finitely axiomatizable complete theories of non-associative arrow frames

This page was built for publication:

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