Login / Signup
On transitive modal many-valued logics.
Amanda Vidal
Published in:
Fuzzy Sets Syst. (2021)
Keyphrases
</>
modal logic
temporal logic
nonmonotonic logics
inference rules
epistemic logic
classical logic
transitive closure
conditional logic
kripke models
default logic
modal operators
situation calculus
satisfiability problem
dynamic logic
data sets
model checking
first order logic