Cathoristic logic: A modal logic of incompatible propositions
Logic in Computer Science
2014-11-27 v1
Abstract
Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of the logic including complete proof rules, and establish a number of results such as compactness, a semantic characterisation of elementary equivalence, the existence of a quadratic-time decision procedure, and Brandom's incompatibility semantics property. We demonstrate the usefulness of the logic as a language for knowledge representation.
Keywords
Cite
@article{arxiv.1411.7158,
title = {Cathoristic logic: A modal logic of incompatible propositions},
author = {Richard Prideaux Evans and Martin Berger},
journal= {arXiv preprint arXiv:1411.7158},
year = {2014}
}