ML-1998-12: van Benthem, Johan (1998) Modal Logic in Two Gestalts. [Report]
![[thumbnail of Full Text]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Full Text)
ML-1998-12.text.ps.gz Download (677kB) |
|
Text (Abstract)
ML-1998-12.abstract.txt Download (424B) |
Abstract
We develop a translation-based view dual of modal logic as the study of
intensional languages that are at the same time interesting, expressive and
decidable parts of standard logical systems. This tandem approach improves
our understanding of modal logic - while at the same time, it extends the
range of modal notions and techniques into broader areas of standard logic.
| Item Type: | Report |
|---|---|
| Report Nr: | ML-1998-12 |
| Series Name: | Mathematical Logic and Foundations (ML) |
| Year: | 1998 |
| Date Deposited: | 12 Oct 2016 14:40 |
| Last Modified: | 12 Oct 2016 14:40 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1401 |
Actions (login required)
 |
View Item |
