Invariant Logics

Mathematical Logic Quarterly 48 (1):29-50 (2002)

Abstract
A moda logic Λ is called invariant if for all automorphisms α of NExt K, α = Λ. An invariant ogic is therefore unique y determined by its surrounding in the attice. It wi be established among other that a extensions of K.alt1S4.3 and G.3 are invariant ogics. Apart from the results that are being obtained, this work contributes to the understanding of the combinatorics of finite frames in genera, something wich has not been done except for transitive frames. Certain useful concepts will be established, such as the notion of a d-homogeneous frame
Keywords invariant ogic  Kripke‐frame  tabular ogic
Categories (categorize this paper)
DOI 10.1002/1521-3870(200201)48:1<29::AID-MALQ29>3.0.CO;2-N
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,305
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Some Embedding Theorems for Modal Logic.David Makinson - 1971 - Notre Dame Journal of Formal Logic 12 (2):252-254.
Lattices of Modal Logics and Their Groups of Automorphisms.Marcus Kracht - 1999 - Annals of Pure and Applied Logic 100 (1-3):99-139.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Linear Kripke Frames and Gödel Logics.Arnold Beckmann & Norbert Preining - 2007 - Journal of Symbolic Logic 72 (1):26 - 44.
Simultaneity as an Invariant Equivalence Relation.Marco Mamone-Capria - 2012 - Foundations of Physics 42 (11):1365-1383.
A Lorentz-Invariant Clock.Richard Schlegel - 1977 - Foundations of Physics 7 (3-4):245-253.
An Invariance Notion in Recursion Theory.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):48-66.

Analytics

Added to PP index
2013-12-01

Total views
9 ( #809,773 of 2,280,233 )

Recent downloads (6 months)
1 ( #830,174 of 2,280,233 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature