Temporal Logics with Language Parameters.

Jens Oliver Gutsfeld Markus Müller-Olm Christian Dielitz

Published in: LATA (2021)

Keyphrases

partially ordered
temporal logic
model checking
mazurkiewicz traces
linear temporal logic
concurrent systems
programming language
model checker
belief revision
modal logic
computation tree logic
search algorithm
maximum likelihood
satisfiability problem
computational linguistics
specification language