Login / Signup
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas.
Tatsuya Shimura
Published in:
Stud Logica (1993)
Keyphrases
</>
modal logic
inference rules
first order logic
horn clauses
temporal logic
domain specific
conditional logic
modal operators
classical logic
default logic
kripke models
truth values
expressive power
neural network
logical framework
cross domain
action theories
domain experts
data sets