Two Modes of Nonmonotonic Consequence
Logic
2022-12-29 v1
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.
Keywords
Cite
@article{arxiv.2212.13355,
title = {Two Modes of Nonmonotonic Consequence},
author = {Alexei Muravitsky},
journal= {arXiv preprint arXiv:2212.13355},
year = {2022}
}
Comments
20 pages