Subformula property in many-valued modal logics

Journal of Symbolic Logic 59 (4):1263-1273 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275704

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Semantical Proof of Subformula Property for the Modal Logics K 4.3, KD 4.3, and S4.3.Daishi Yazaki - 2019 - Bulletin of the Section of Logic 48 (4).
New Modification of the Subformula Property for a Modal Logic.Mitio Takano - 2020 - Bulletin of the Section of Logic 49 (3):255-268.
Bounded-analytic sequent calculi and embeddings for hypersequent logics.Agata Ciabattoni, Timo Lang & Revantha Ramanayake - 2021 - Journal of Symbolic Logic 86 (2):635-668.
A modified subformula property for the modal logics K5 and K5D.Mitio Takano - 2001 - Bulletin of the Section of Logic 30 (2):115-123.
Many-valued modal logics: A simple approach: Many-valued modal logics: A simple approach.Graham Priest - 2008 - Review of Symbolic Logic 1 (2):190-203.
A Hennessy-Milner Property for Many-Valued Modal Logics.Michel Marti & George Metcalfe - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10: Papers From the Tenth Aiml Conference, Held in Groningen, the Netherlands, August 2014. London, England: CSLI Publications. pp. 407-420.
Kripke Saul A.. Semantical considerations for modal logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta Philosophica Fennica 1963, pp. 83–94. [REVIEW]Dov Gabbay - 1969 - Journal of Symbolic Logic 34 (3):501-501.
Proceedings of a Colloquium on Modal and Many-Valued Logics Helsinki, 23-26 August, 1962.G. H. von Wright - 1963 - Suomalaisen Kirjallisuuden Kirjapaino.
Strengthening Brady’s Paraconsistent 4-Valued Logic BN4 with Truth-Functional Modal Operators.José M. Méndez & Gemma Robles - 2016 - Journal of Logic, Language and Information 25 (2):163-189.
Arto Salomaa. Some analogues of Sheffet functions in infinite-valued logics. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki1963, pp. 227–235. [REVIEW]Norman M. Martin - 1966 - Journal of Symbolic Logic 31 (1):118-119.

Analytics

Added to PP
2009-01-28

Downloads
42 (#370,093)

6 months
10 (#382,402)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Possible worlds and many truth values.S. K. Thomason - 1978 - Studia Logica 37 (2):195 - 204.

View all 8 references / Add more references