Pages that link to "Item:Q1670491"

The following pages link to On Sahlqvist formulas in relevant logic (Q1670491):

Displaying 9 items.

• A Sahlqvist theorem for relevant modal logics (Q1810815) (← links)
• Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
• Sahlqvist formulas in hybrid polyadic modal logics (Q2772884) (← links)
• The relevant fragment of first order logic (Q2804477) (← links)
• (Q3710512) (← links)
• Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ (Q5027233) (← links)
• INCOMPACTNESS OF THE A1 FRAGMENT OF BASIC SECOND ORDER PROPOSITIONAL RELEVANT LOGIC (Q5235069) (← links)
• (Q5419870) (← links)
• On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae (Q6111083) (← links)