Login / Signup
Remark on the Superintuitionistic Predicate Logic of Kripke Frames of Finite Height with Constant Domains: A Simpler Kripke Complete Logic That Is Not Strongly Complete.
Dmitrij P. Skvortsov
Published in:
Advances in Modal Logic (2018)
Keyphrases
</>
predicate logic
temporal logic
modal logic
inference rules
formal logic
expert systems
knowledge representation and reasoning
high level
orders of magnitude
petri net
semantic network
desirable properties