Pages that link to "Item:Q1194106"

The following pages link to Modal companions of intermediate propositional logics (Q1194106):

Displaying 24 items.

• A generalization of inquisitive semantics (Q312497) (← links)
• Self-referentiality of Brouwer-Heyting-Kolmogorov semantics (Q392298) (← links)
• On logics with coimplication (Q1272827) (← links)
• Irreflexive modality in the intuitionistic propositional logic and Novikov completeness (Q1288137) (← links)
• The structure of lattices of subframe logics (Q1361249) (← links)
• A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
• A new solution to a problem of Hosoi and Ono (Q1893145) (← links)
• On an extension of Gabbay's logic (Q1972663) (← links)
• Oskar Becker and the modal translation of intuitionistic logic (Q2094160) (← links)
• Willem Blok and modal logic (Q2433092) (← links)
• Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
• Some modal and temporal translations of generalized basic logic (Q2695352) (← links)
• Dyck Algebras, Interval Temporal Logic, and Posets of Intervals (Q2827488) (← links)
• Self-referentiality in the Brouwer–Heyting–Kolmogorov Semantics of Intuitionistic Logic (Q3455862) (← links)
• The undecidability of the disjunction property of propositional logics and other related problems (Q4276033) (← links)
• (Q4556013) (← links)
• (Q4625704) (← links)
• THE LOGIC OF INFORMATION IN STATE SPACES (Q5001555) (← links)
• A Note on Strictly Positive Logics and Word Rewriting Systems (Q5214732) (← links)
• Modal translation of substructural logics (Q5217248) (← links)
• On the Blok-Esakia Theorem (Q5255793) (← links)
• Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
• The algebraic significance of weak excluded middle laws (Q6094135) (← links)
• Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)