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 - MaRDI portal

scientific article

From MaRDI portal

Publication:3343429

Jump to:navigation, search

zbMath0551.68030MaRDI QIDQ3343429

Jan Reiterman, Věra Trnková

Publication date: 1984

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

zbMATH Keywords

equational classes dynamic algebras propositional dynamic logic test algebras Kripke test structures

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65) Other algebras related to logic (03G25) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

Dynamic algebras with test ⋮ A unifying theorem for algebraic semantics and dynamic logics

This page was built for publication:

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