Login / Signup
The modal logic of continuous functions on cantor space.
Philip Kremer
Published in:
Arch. Math. Log. (2006)
Keyphrases
</>
modal logic
continuous functions
temporal logic
situation calculus
nonmonotonic logics
real valued
default logic
explanation based generalization
probabilistic model
fuzzy logic
higher order
low dimensional
model checking
differential equations
endpoints
epistemic logic