HackerPapers

arXiv:1411.7158cs.LO

Cathoristic logic: A modal logic of incompatible propositions

Richard Prideaux Evans, Martin Berger

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

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.

arXiv comments
Journal reference
DOI
Subjects
cs.LOLogic in Computer Science

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Nov 2015 to Nov 2015.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. Programming Interactive Worlds with Linear Logic 1 comment

    • The use of logic as a representation language for representing interactive games was pioneered by Richard Evans (AI lead on The Sims 3) over the years, and used in various of his games. The latest installment is [1], and the logic used is a peculiar modal logic whose key…

      mafribeView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.