scientific article
From MaRDI portal
Publication:3838819
zbMath0903.03015MaRDI QIDQ3838819
Publication date: 5 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)
Related Items
A derivation-loop method for temporal logic, More efficient proof-search for sequents of temporal logic, A History of Until, Coalition Description Logic with Individuals, Invariant-free clausal temporal resolution, One-Pass Tableaux for Computation Tree Logic, Tableaux for realizability of safety specifications, A tableau-based decision procedure for CTL\(^*\), An explicit transition system construction approach to LTL satisfiability checking, Unnamed Item, Unnamed Item, Unnamed Item, Theorem proving for pointwise metric temporal logic over the naturals via translations, Cut-free sequent systems for temporal logic, One-pass Context-based Tableaux Systems for CTL and ECTL, One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\), Query Answering with DBoxes is Hard, An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability, Dual systems of tableaux and sequents for PLTL, SAT-based explicit LTL reasoning and its application to satisfiability checking, Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
