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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3741614

Jump to:navigation, search

zbMath0604.03005MaRDI QIDQ3741614

G. S. Venkatesh

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

satisfiability propositional linear time logic unextended resolution rule

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (5)

Invariant-free clausal temporal resolution ⋮ Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic ⋮ Search strategies for resolution in temporal logics ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Clausal resolution in a logic of rational agency

This page was built for publication:

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