PP-2019-13: van Benthem, Johan and Bezhanishvili, Nick (2019) Modern faces of filtration. [Pre-print]
Preview |
Text
Fine-Filtration.pdf Download (276kB) | Preview |
Abstract
The filtration method for proving decidability in a focused minimal manner is a highlight of modal logic, widely used, but also posing a bit of a challenge as to its scope and what makes it tick. In this paper, we bring together a number of modern perspectives on filtration, including model-theoretic and proof-theoretic ones. We also include a few more unusual recent connections with dynamic logics of model change and logics of issues. Finally, we analyze where the filtration method fails in full first-order logic, and what is still has to say there.
| Item Type: | Pre-print |
|---|---|
| Report Nr: | PP-2019-13 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2019 |
| Subjects: | Logic |
| Depositing User: | Nick Bezhanishvili |
| Date Deposited: | 08 May 2019 23:06 |
| Last Modified: | 31 Jan 2020 16:41 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1680 |
Actions (login required)
 |
View Item |
