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
Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem - MaRDI portal

Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem

From MaRDI portal

Publication:3734374

Jump to:navigation, search

DOI10.1016/S0019-9958(84)80055-8zbMath0599.03028MaRDI QIDQ3734374

Peter H. Schmitt

Publication date: 1984

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

regular programs box formulas complete proof system for diamond formulas recursive set of axioms

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65)

Related Items

Differential Game Logic, Reasoning in Dynamic Logic about Program Termination, Inductive Completeness of Logics of Programs

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