Epistemic Łukasiewicz logic of partial knowledge.

Antonio Di Nola Revaz Grigolia Gaetano Vitale

Published in: Soft Comput. (2022)

Keyphrases

partial knowledge
epistemic logic
dynamic epistemic logic
modal operators
modal logic
propositional dynamic logic
model checking
multi valued
logic programming
belief state
logical framework
multi agent systems
nonmonotonic logics
belief change
classical logic
decision trees
computation tree logic