Counterfactuals Modulo Temporal Logics.

Bernd Finkbeiner Julian Siber

Published in: CoRR (2023)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
causal models
logical language
concurrent systems
temporal knowledge
belief revision
artificial intelligence
verification method
transition systems
reactive systems
multi agent systems
lower bound
linear temporal logic