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

scientific article; zbMATH DE number 733404

From MaRDI portal

Publication:4325792

Jump to:navigation, search

zbMath0831.03011MaRDI QIDQ4325792

J. F. A. K. van Benthem

Publication date: 30 March 1995

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

zbMATH Keywords

bisimulation functional completeness categorial grammar procedures relational algebras transition models relational operators dynamic modal logic with updating and revising modal arrow logic procedural logic regular program operations structural inference rules type-theoretic analysis of procedural operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Logic in computer science (03B70) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (6)

Propositional Dynamic Logic for Petri Nets with Iteration ⋮ Reasoning About Belief Revision ⋮ Partial up an down logic ⋮ Towards reasoning about Petri nets: a propositional dynamic logic based approach ⋮ Probability, coherent belief and coherent belief changes ⋮ Contraction, Revision, Expansion: Representing Belief Change Operations

This page was built for publication:

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