scientific article

zbMath1278.03041MaRDI QIDQ2871849

No author found.

Publication date: 10 January 2014

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108001801?np=y

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

zbMATH Keywords

tableauxsatisfiabilitypropositional linear temporal logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (4)

Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method ⋮ Invariant-free clausal temporal resolution ⋮ Unnamed Item ⋮ Dual systems of tableaux and sequents for PLTL

Uses Software

• TTM

This page was built for publication: