Fusion of sequent modal logic systems labelled with truth values.

João Rasga Karina Girardi Roggia Cristina Sernadas

Published in: Log. J. IGPL (2010)

Keyphrases

modal logic
inference rules
truth values
temporal logic
nonmonotonic logics
sequent calculus
conditional logic
default logic
first order logic
situation calculus
classical logic
logical framework
modal operators
dynamic logic