Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms.

Eugenio Orlandelli Giovanna Corsi

Published in: ARQNL@IJCAR (2018)

Keyphrases

modal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
sequent calculi
artificial intelligence
cooperative
motion estimation
description logics
temporal logic