scientific article; zbMATH DE number 7439746

zbMath1478.03030arXiv1609.04102MaRDI QIDQ5015285

No author found.

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1609.04102

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44)

Related Items

Unnamed Item, Unnamed Item, Theorem proving for pointwise metric temporal logic over the naturals via translations, One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)

Uses Software

• NuSMV
• TSPASS
• TTM
• TRP++
• Aalta
• Leviathan

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The temporal logic of branching time
• Cut-free sequent systems for temporal logic
• Reasoning about infinite computations
• Mathematical Logic for Computer Science
• A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance
• Implementing a fair monodic temporal logic prover
• Two loop detection mechanisms: A comparison
• Efficient loop-check for backward proof search in some non-classical propositional logics