Journal of Symbolic Logic 58 (1):334-349 (1993)

Authors
Philip Kremer
University of Toronto at Scarborough
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275341
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,703
Through your library

References found in this work BETA

Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
Propositional Quantifiers in Modal Logic.Kit Fine - 1970 - Theoria 36 (3):336-346.
Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
The Semantics of Entailment II.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (1):53 - 73.
The Semantics of Entailment — III.Richard Routley & Robert K. Meyer - 1972 - Journal of Philosophical Logic 1 (2):192 - 208.

View all 8 references / Add more references

Citations of this work BETA

Propositional Quantification in Bimodal S5.Peter Fritz - 2020 - Erkenntnis 85 (2):455-465.
Recent Work in Relevant Logic.Mark Jago - 2013 - Analysis 73 (3):526-541.
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Logics for Propositional Contingentism.Peter Fritz - 2017 - Review of Symbolic Logic 10 (2):203-236.

View all 14 citations / Add more citations

Similar books and articles

Axiomatizability by {{\ Forall}{\ Exists}!}-Sentences.Miguel Campercholi & Diego Vaggione - 2011 - Archive for Mathematical Logic 50 (7-8):713-725.
Dynamic Modalities.Dimiter Vakarelov - 2012 - Studia Logica 100 (1-2):385-397.
Some Remarks on Category of the Real Line.Kyriakos Keremedis - 1999 - Archive for Mathematical Logic 38 (3):153-162.
A Small Reflection Principle for Bounded Arithmetic.Rineke Verbrugge & Albert Visser - 1994 - Journal of Symbolic Logic 59 (3):785-812.
Conservative Fragments of {{S}^{1} {2}} and {{R}^{1} {2}}.Chris Pollett - 2011 - Archive for Mathematical Logic 50 (3-4):367-393.
Lifting Independence Results in Bounded Arithmetic.Mario Chiari & Jan Krajíček - 1999 - Archive for Mathematical Logic 38 (2):123-138.
Epistemic Operators in Dependence Logic.Pietro Galliani - 2013 - Studia Logica 101 (2):367-397.
Relevant Identity.Philip Kremer - 1999 - Journal of Philosophical Logic 28 (2):199-222.
Decisive Creatures and Large Continuum.Jakob Kellner & Saharon Shelah - 2009 - Journal of Symbolic Logic 74 (1):73-104.
Fragments of Heyting Arithmetic.Wolfgang Burr - 2000 - Journal of Symbolic Logic 65 (3):1223-1240.

Analytics

Added to PP index
2009-01-28

Total views
52 ( #209,650 of 2,462,486 )

Recent downloads (6 months)
1 ( #449,311 of 2,462,486 )

How can I increase my downloads?

Downloads

My notes