Modern Faces of Filtration
| Authors | |
|---|---|
| Publication date | 2023 |
| Host editors |
|
| Book title | Kit Fine on Truthmakers, Relevance, and Non-classical Logic |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Outstanding Contributions to Logic |
| Pages (from-to) | 23-61 |
| Publisher | Cham: Springer |
| Organisations |
|
| 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 questions and issues. Finally, we analyze where the filtration method fails in full first-order logic, and what it still has to say there. |
| Document type | Chapter |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-031-29415-0_3
(Final published version)
|
| Permalink to this page | |