Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE.

Marcelo E. Coniglio

Published in: CoRR (2023)

Keyphrases

modal logic
inference rules
temporal logic
decision procedures
default logic
classical logic
nonmonotonic logics
artificial intelligence
probabilistic model
autoepistemic logic