Reflexive-Insensitive Modal Logics.

David R. Gilbert Giorgio Venturi

Published in: Rev. Symb. Log. (2016)

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
situation calculus
epistemic logic
classical logic
banach space
nonmonotonic logics
modal operators
default logic
conditional logic
dynamic logic
cooperative
database systems
model checking
state space