k-modal BL-logic.

Masoud Haveshki Mahboobeh Mohamadhasani

Published in: J. Multiple Valued Log. Soft Comput. (2023)

Keyphrases

modal logic
nonmonotonic logics
temporal logic
inference rules
classical logic
modal operators
dynamic logic
epistemic logic
transition systems
kripke models
logic programming
logical framework
automated reasoning
predicate logic
data sets
model checking
pairwise
information systems
artificial intelligence