A Labelled Sequent Calculus for Half-order Modal Logic.

Romas Alonderis Jurate Sakalauskaite

Published in: FLAP (2018)

Keyphrases

modal logic
sequent calculus
inference rules
temporal logic
decision procedures
higher order
nonmonotonic logics
epistemic logic
cut elimination
relational databases
object oriented
situation calculus
default logic
linear logic