Axiomatising Logics with Separating Conjunction and Modalities.

Stéphane Demri Raul Fervari Alessio Mansutti

Published in: JELIA (2019)

Keyphrases

expressive power
modal logic
inference rules
search engine
classical logic
decision procedures
higher order
description logics
cross modal
computational properties
conditional logic