Constructive S4 modal logics with the finite birelational frame property.

Philippe Balbiani Martín Diéguez David Fernández-Duque Brett McLean

Published in: CoRR (2024)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
classical logic
epistemic logic
integer points
autoepistemic logic
video frames
modal operators