Pages that link to "Item:Q5287696"
From MaRDI portal
The following pages link to Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀<i>p</i> and ∃<i>p</i> (Q5287696):
Displaying 13 items.
- An admissible semantics for propositionally quantified relevant logics (Q848213) (← links)
- Uniform interpolation and propositional quantifiers in modal logics (Q878154) (← links)
- Completeness of a first-order temporal logic with time-gaps (Q1350524) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- On Sahlqvist formulas in relevant logic (Q1670491) (← links)
- Decidability of quantified propositional intuitionistic logic and S4 on trees of height and arity \(\leq \omega\) (Q1826435) (← links)
- Propositional quantification in bimodal S5 (Q2055931) (← links)
- On the logic of belief and propositional quantification (Q2240550) (← links)
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers (Q2319895) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- LOGICS FOR PROPOSITIONAL CONTINGENTISM (Q5274876) (← links)
- Pitts' quantifiers are not topological quantification (Q5937836) (← links)
- Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)
