PP-2007-05: van Benthem, Johan (2007) Man Muss Immer Umkehren. [Report]
Preview |
Text (Full Text)
PP-2007-05.text.pdf Download (69kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2007-05.abstract.txt Download (904B) |
Abstract
Choosing a semantics validates certain axioms. But as the
19th century German geometrist Jakobi said already: "One
Should Always Convert'. Modal correspondences are a way
of stepping back from statements of validity, and asking
the converse question 'what sort of models would make the
given axiom valid'. Analyzing a sequence of well-known
principles using standard correspondence techniques for
pure modal logic, we find the bare mechanics of the
models for systems that superficially look different:
spatial and temporal geometry, dynamic-epistemic update,
and eventually even first-order predicate logic itself.
The result of the correspondence analysis is often a
generalized class of models over which even new logics
can arise, which are of interest by themselves.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2007-05 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2007 |
| Uncontrolled Keywords: | modal logic; frame correspondence; generalized semantics |
| Subjects: | Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/239 |
Actions (login required)
 |
View Item |
