Axiomatizing the lexicographic products of modal logics with linear temporal logic.

Philippe Balbiani David Fernández-Duque

Published in: Advances in Modal Logic (2016)

Keyphrases

modal logic
linear temporal logic
temporal logic
model checking
decision procedures
inference rules
bounded model checking
concurrent systems
nonmonotonic logics
classical logic
epistemic logic
situation calculus
belief revision
model checker
default logic
transition systems
finite state