Login / Signup
Lukasiewicz's 4-valued logic and normal modal logics.
Zoran Majkic
Bhanu Prasad
Published in:
IICAI (2009)
Keyphrases
</>
modal logic
classical logic
valued logic
temporal logic
decision procedures
inference rules
default logic
nonmonotonic logics
propositional logic
epistemic logic
truth values
situation calculus
computational intelligence
neural network
first order logic
logic programs
fuzzy logic
special case