ML-1994-09: D'Agostino, Giovanna and Montanari, Angelo and Policriti, Alberto (1994) A Set-Theoretic Translation Method for Polymodal Logics. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1994-09.text.ps.gz Download (110kB) |
|
Text (Abstract)
ML-1994-09.abstract.txt Download (934B) |
Abstract
The paper presents a settheoretic translation method for polymodal logics
that reduces the derivability problem of a large class of propositional
polymodal logics to the derivability problem of a very weak firstorder set
theory \Omega. Unlike most existing translation methods, the one we proposed
applies to any normal complete finitelyaxiomatizable polymodal logic,
regardless if it is firstorder complete or if an explicit semantics is
available for it. Moreover, the finite axiomatizability of \Omega makes it
possible to implement mechanical proof search procedures via the deduction
theorem or more specialized and efficient techniques.
In the last part of the paper, we briefly discuss the application of set T
resolution to support automated derivability in (a suitable extension of)
\Omega.
| Item Type: | Report |
|---|---|
| Report Nr: | ML-1994-09 |
| Series Name: | Mathematical Logic and Foundations (ML) |
| Year: | 1994 |
| Date Deposited: | 12 Oct 2016 14:40 |
| Last Modified: | 12 Oct 2016 14:40 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1355 |
Actions (login required)
 |
View Item |
