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
N system: A natural temporal deduction system - MaRDI portal

N system: A natural temporal deduction system

From MaRDI portal

Publication:1123186

Jump to:navigation, search

zbMath0677.03014MaRDI QIDQ1123186

Publication date: 1989

Published in: Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

natural deduction system propositional temporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

This page was built for publication: N system: A natural temporal deduction system

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