On the relation between modal and multi-modal logics over Łukasiewicz logic.

Francesc Esteva Lluís Godo Ricardo Oscar Rodríguez

Published in: FUZZ-IEEE (2017)

Keyphrases

modal logic
temporal logic
nonmonotonic logics
inference rules
classical logic
decision procedures
epistemic logic
conditional logic
situation calculus
modal operators
default logic
dynamic logic
data management
theorem prover
satisfiability problem
model checking
knowledge base
natural deduction
coalition logic