A simplified modal presentation of the ‘non-redundancy’ system

Abstract

We give a simplified version of the system introduced in ‘Non-Redundancy’, presented here as a Modal Logic whose primitive elements are finite sequences. It includes a treatment of Condition C, Condition B, Condition A, and the Locality of Variable Binding, but disregards quantification and Weak and Strong Crossover effects, which are treated in the longer paper.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.
On lengths of proofs in non-classical logics.Pavel Hrubeš - 2009 - Annals of Pure and Applied Logic 157 (2-3):194-205.
A Modal Logic For Quantification And Substitution.Yde Venema - 1994 - Logic Journal of the IGPL 2 (1):31-45.
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions.Ricardo Oscar Rodriguez, Olim Frits Tuyt, Francesc Esteva & Lluís Godo - 2022 - Studia Logica 110 (4):1081-1114.
Finite non-deterministic semantics for some modal systems.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2015 - Journal of Applied Non-Classical Logics 25 (1):20-45.
Hybrid logics with infinitary proof systems.Rineke Verbrugge, Gerard Renardel de Lavalette & Barteld Kooi - unknown
Topological Modal Logics Satisfying Finite Chain Conditions.Bernhard Heinemann - 1998 - Notre Dame Journal of Formal Logic 39 (3):406-421.
A General Semantics for Quantified Modal Logic.Robert Goldblatt & Edwin D. Mares - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 227-246.
Theory matrices (for modal logics) using alphabetical monotonicity.Ian P. Gent - 1993 - Studia Logica 52 (2):233 - 257.

Analytics

Added to PP
2009-01-28

Downloads
23 (#947,178)

6 months
23 (#133,616)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Philippe Schlenker
Institut Jean Nicod

Citations of this work

Add more citations

References found in this work

No references found.

Add more references