PP-2007-05: Man Muss Immer Umkehren

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

Text (Full Text)

Download (69kB) | Preview
[img] 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 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