| Authors |
|
| Publication date |
2023
|
| Host editors |
-
F.L.G. Faroldi
-
F. Van De Putte
|
| 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 |
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| 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
|
|
Permalink to this page
|