Decidability of order-based modal logics.

Xavier Caicedo George Metcalfe Ricardo Oscar Rodríguez Jonas Rogger

Published in: J. Comput. Syst. Sci. (2017)

Keyphrases

modal logic
decision procedures
temporal logic
multi agent systems
data model
special case
object oriented
description logics
default logic