Frame definability in finitely valued modal logics.

Guillermo Badia Xavier Caicedo Carles Noguera

Published in: Ann. Pure Appl. Log. (2023)

Keyphrases

modal logic
decision procedures
nonmonotonic logics
temporal logic
inference rules
propositional logic
epistemic logic
classical logic
fixed point
situation calculus
default logic
finite number
cooperative
video frames
inductive inference
logical framework
description logics