PP-2007-05: Man Muss Immer Umkehren

PP-2007-05: van Benthem, Johan (2007) Man Muss Immer Umkehren. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (69kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (904B)


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 View Item