Forward Countermodel Construction in Modal Logic K.

Mauro Ferrari Camillo Fiorentini Guido Fiorino

Published in: CILC (2018)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
default logic
conditional logic
classical logic
dynamic logic
situation calculus
construction process
prime implicates
multi agent
description logic alc