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
Separation in nonlinear time models - MaRDI portal

Separation in nonlinear time models

From MaRDI portal

Publication:4726222

Jump to:navigation, search

DOI10.1016/S0019-9958(85)80059-0zbMath0617.03005MaRDI QIDQ4726222

Amihood Amir

Publication date: 1985

Published in: Information and Control (Search for Journal in Brave)

zbMATH Keywords

expressive completeness tense logic branching time functional completeness nonlinear time

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80)

Related Items (2)

Finite \(H\)-dimension does not imply expressive completeness ⋮ On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic

This page was built for publication: Separation in nonlinear time models

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