Topos Semantics for a Higher-Order Temporal Logic of Actions.

Philip Johnson-Freyd Jon Aytac Geoffrey C. Hulette

Published in: ACT (2019)

Keyphrases

temporal logic
higher order
model checking
temporally extended
modal logic
modal operators
temporally extended goals
satisfiability problem

epistemic logic
concurrent systems
computation tree logic
dynamic constraints
verification method
temporal knowledge
speech acts

transition systems
formal specification language
linear temporal logic
decision theoretic
situation calculus
action theories
formal semantics

belief revision
mazurkiewicz traces
predicate logic
automata theoretic
specification language
reasoning tasks
logic programming