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
Complete Axiomatization for Projection Temporal Logic with Finite Time - MaRDI portal

Complete Axiomatization for Projection Temporal Logic with Finite Time

From MaRDI portal

Publication:3109143

Jump to:navigation, search

DOI10.3724/SP.J.1001.2011.03918zbMath1240.68131MaRDI QIDQ3109143

Zhenhua Duan, Xinfeng Shu

Publication date: 27 January 2012

Published in: Journal of Software (Search for Journal in Brave)

zbMATH Keywords

theorem proving formal method projection temporal logic completeness proof

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

This page was built for publication: Complete Axiomatization for Projection Temporal Logic with Finite Time

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