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:3922159

Jump to:navigation, search

zbMath0468.68038MaRDI QIDQ3922159

Rohit Parikh

Publication date: 1981

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

zbMATH Keywords

complexity models axiomatisation partial correctness process logic decision methods dynamic algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Bibliographies for mathematics in general (00A15)

Related Items (7)

Peirce algebras ⋮ TABLEAUX: A general theorem prover for modal logics ⋮ On models for propositional dynamic logic ⋮ Some applications of topology to program semantics ⋮ The price of universality ⋮ PDL with data constants ⋮ An essay in combinatory dynamic logic

This page was built for publication:

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