Login / Signup
First order S4 and its measure-theoretic semantics.
Tamar Lando
Published in:
Ann. Pure Appl. Log. (2015)
Keyphrases
</>
sound and complete with respect
conditional logic
similarity measure
higher order
distance measure
semantic information
formal semantics
model theoretic
information theory
horn clauses
predicate calculus
database
nonmonotonic reasoning
operational semantics