A Paraconsistent Linear-time Temporal Logic.

Norihiro Kamide Heinrich Wansing

Published in: Fundam. Informaticae (2011)

Keyphrases

linear time temporal logic
inference rules
sequent calculus
model checking
natural deduction
logic programming
cut elimination
temporal logic
modal logic
theorem proving
linear temporal logic
logic programs
modal operators
truth values
legal reasoning
probability distribution
knowledge representation