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
Fixed Points in Tense Models - MaRDI portal

Fixed Points in Tense Models

From MaRDI portal

Publication:5476774

Jump to:navigation, search

DOI10.1023/B:ALLO.0000044282.87666.D1zbMath1097.03014MaRDI QIDQ5476774

S. I. Mardaev

Publication date: 18 July 2006

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

fixed points Kripke models temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

This page was built for publication: Fixed Points in Tense Models

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