Login / Signup
Upper-Expectation Bisimilarity and Real-valued Modal Logics.
Matteo Mio
Published in:
CoRR (2013)
Keyphrases
</>
real valued
modal logic
decision procedures
temporal logic
inference rules
complex valued
nonmonotonic logics
default logic
integer valued
epistemic logic
real valued data
situation calculus
latent variables
kripke models
machine learning
modal operators
default theories
rough sets
information retrieval