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
Typed logics with states - MaRDI portal

Typed logics with states

From MaRDI portal

Publication:4357320

Jump to:navigation, search

DOI10.1093/JIGPAL/5.5.623zbMath0885.03015OpenAlexW2128730369MaRDI QIDQ4357320

Jan van Eijck

Publication date: 1997

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4043a0dad56e6c93396b6ca3dc36fea83acfa069

zbMATH Keywords

compositionality dynamic semantics denotational semantics type theory typed lambda calculus full fledged typed dynamic logic register update typed logics with states

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Typed logics with states

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