Pages that link to "Item:Q2987047"
From MaRDI portal
The following pages link to A modal logic amalgam of classical and intuitionistic propositional logic (Q2987047):
Displaying 7 items.
- Reasoning about proof and knowledge (Q1625594) (← links)
- Merging fragments of classical logic (Q1687564) (← links)
- One-step modal logics, intuitionistic and classical. I (Q2240542) (← links)
- The embedding theorem: its further developments and consequences. I (Q2372685) (← links)
- (Q5149162) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- Another combination of classical and intuitionistic conditionals (Q6659907) (← links)