ML-1998-12: Modal Logic in Two Gestalts

ML-1998-12: van Benthem, Johan (1998) Modal Logic in Two Gestalts. [Report]

[thumbnail of Full Text] Text (Full Text)

Download (677kB)
[thumbnail of Abstract] Text (Abstract)

Download (424B)


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

Actions (login required)

View Item View Item