Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.

Norihiro Kamide

Published in: Stud Logica (2023)

Keyphrases

linear time temporal logic
natural deduction
theorem prover
model checking
sequent calculus
first order logic
theorem proving
cut elimination
inference rules
propositional logic
temporal logic
horn clauses
proof procedure
linear logic
linear temporal logic
inductive inference
default logic
wide class