Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
From MaRDI portal
Publication:5287696
DOI10.2307/2275341zbMath0786.03016OpenAlexW2074092244MaRDI QIDQ5287696
Publication date: 17 August 1993
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275341
Related Items
Completeness of a first-order temporal logic with time-gaps ⋮ An admissible semantics for propositionally quantified relevant logics ⋮ On Sahlqvist formulas in relevant logic ⋮ Uniform interpolation and propositional quantifiers in modal logics ⋮ Propositional quantification in the topological semantics for \(\mathbf S4\) ⋮ On the logic of belief and propositional quantification ⋮ Pitts' quantifiers are not topological quantification ⋮ Expressivity of second order propositional modal logic ⋮ Propositional quantification in bimodal S5 ⋮ Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ LOGICS FOR PROPOSITIONAL CONTINGENTISM
Cites Work