kdrag.theories.logic.temporal.Valid

kdrag.theories.logic.temporal.Valid(p: DatatypeRef) → BoolRef

The statement that the formula is true at t = 0. Convert a temporal formula into a Boolean. https://en.wikipedia.org/wiki/Kripke_semantics#Semantics_of_modal_logic

Parameters:

p (DatatypeRef)

Return type:

BoolRef