A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic.

Rui Li Francesco Belardinelli

Published in: CoRR (2022)

Keyphrases

linear time temporal logic
model checking
sequent calculus
natural deduction
temporal logic
cut elimination
object oriented
domain specific
inference rules
expert systems
description logics
image matching
point correspondences
linear logic