On Coarser Interval Temporal Logics and their Satisfiability Problem.

Emilio Muñoz-Velasco Mercedes Pelegrín-García Pietro Sala Guido Sciavicco

Published in: CAEPIA (2015)

Keyphrases

satisfiability problem
temporal logic
mazurkiewicz traces
model checking
modal logic

sat instances
stochastic local search
stochastic local search algorithms
concurrent systems
sat problem

decision procedures
temporal knowledge
belief revision
max sat
temporal resolution

distributed systems
reinforcement learning
epistemic logic
transition systems
expert systems