CEU Electronic Theses and Dissertations, 2018
| Author | Susánszky, Péter |
|---|---|
| Title | Trees without Models: Truth-Valuational Semantics and the Tableau Method |
| Summary | In this thesis, we will introduce truth-valuational semantics for modal logic and compare it to standard, Kripke-style model-theoretic semantics. We will show the detailed proofs for the soundness and semi-strong (roughly, restricted to finite premise sets) completeness of the truth-valuational propositional modal semantics for the logic K relative to the prefixed propositional modal tableau system K, and will sketch extensions to the logics/systems T, B, K4, S4 and S5. Afterwards, we will sketch three different ways of how one can strengthen the semi-strong completeness theorems for these logics to strong completeness, and will evaluate the pros and cons of each approach. We conclude that a proper solution remains forthcoming. |
| Supervisor | Ben-Yami, Hanoch |
| Department | Philosophy MA |
| Full text | https://www.etd.ceu.edu/2018/susanszky_peter.pdf |
Visit the CEU Library.
© 2007-2021, Central European University