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

scientific article; zbMATH DE number 871235

From MaRDI portal

Publication:4874650

Jump to:navigation, search

zbMath0842.03024MaRDI QIDQ4874650

Andrzej Szałas

Publication date: 6 June 1996

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

zbMATH Keywords

\(\mu\)-calculus dynamic logic temporal logic modal logics logics of programs natural deduction proof systems first-order fixpoint logics fixpoint equations on formulas

Mathematics Subject Classification ID

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

Related Items (1)

An approach to infinitary temporal proof theory

This page was built for publication:

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