Pages that link to "Item:Q1244216"

The following pages link to On some intuitionistic modal logics (Q1244216):

Displaying 8 items.

• Intuitionistic common knowledge or belief (Q334160) (← links)
• Extending possibilistic logic over Gödel logic (Q622285) (← links)
• The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
• Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
• Monadic bounded commutative residuated \(\ell\)-monoids (Q943381) (← links)
• Standard Gödel modal logics (Q965908) (← links)
• Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
• A proof-theoretical investigation of global intuitionistic (fuzzy) logic (Q1778065) (← links)