ML-1995-02: van Benthem, Johan and D'Agostino, Giovanna and Montanari, Angelo and Policriti, Alberto (1995) Modal Deduction in Second-Order Logic and Set Theory. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1995-02.text.ps.gz Download (155kB) |
|
Text (Abstract)
ML-1995-02.abstract.txt Download (797B) |
Abstract
We investigate modal deduction through translation into standard logic and set
theory. Derivability in the minimal modal logic is captured precisely by
translation into a weak, computationally attractive set theory \Omega. This
approach is shown equivalent to working with standard firstorder translations
of modal formulas in a theory of general frames. Next, deduction in a more
powerful secondorder logic of general frames is shown equivalent with
settheoretic derivability in an `admissible variant' of \Omega. Our methods
are mainly modeltheoretic and settheoretic, and they admit extension to
richer languages than that of basic modal logic.
| Item Type: | Report |
|---|---|
| Report Nr: | ML-1995-02 |
| Series Name: | Mathematical Logic and Foundations (ML) |
| Year: | 1995 |
| Date Deposited: | 12 Oct 2016 14:40 |
| Last Modified: | 12 Oct 2016 14:40 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1361 |
Actions (login required)
 |
View Item |
