Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic.

Nikolay V. Shilov

Published in: PSPL@LICS (2010)

Keyphrases

linear temporal logic
proof procedure
temporal logic
propositional logic
description logics
model checking
theorem proving
first order logic
bounded model checking
default logic
situation calculus
reinforcement learning
search algorithm
predicate calculus