PP-2007-05: Man Muss Immer Umkehren

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

[img]
Preview
Text (Full Text)
PP-2007-05.text.pdf

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