Two Modes of Nonmonotonic Consequence
Alexei Muravitsky
TL;DR
This paper explores two semantic methods for nonmonotonic consequence relations in propositional logic and connects one with a proof-theoretic framework for a specific language.
Contribution
It introduces and compares two semantic approaches to nonmonotonic consequence and links one approach to proof theory for a particular propositional language.
Findings
Two semantic modes for nonmonotonic consequence are proposed
A proof-theoretic framework is connected to one semantic mode
The approaches provide different perspectives on nonmonotonic reasoning
Abstract
This is the text of my speech at the Logica Universalis webinar, which took place on May 11, 2022. I discuss two ways to implement a semantic approach to nonmonotonic consequence relations in an arbitrary propositional language. For one particular language, we also discuss the proof-theoretic framework that we connect with this semantic approach.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Logic, programming, and type systems