Two Modes of Nonmonotonic Consequence
arXiv:2212.13355
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.
arXiv comment20 pages