Pages that link to "Item:Q3549311"
From MaRDI portal
The following pages link to Modal Operators over Constructive Logic (Q3549311):
Displaying 14 items.
- Constructive modal logics. I (Q750417) (← links)
- Logical connectives for constructive modal logic (Q857668) (← links)
- Schönfinkel-type operators for classical logic (Q993497) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- A Gödel-Artemov-style analysis of constructible falsity (Q1709698) (← links)
- Abstract modal logics (Q1902554) (← links)
- A general framework for FDE-based modal logics (Q2027214) (← links)
- Paraconsistent modal logics (Q2825416) (← links)
- Structural operational semantics and modal logic, revisited (Q2919456) (← links)
- (Q4012252) (← links)
- Kripke Completeness of First-Order Constructive Logics with Strong Negation (Q4465165) (← links)
- From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics (Q5208114) (← links)
- (Q5753929) (← links)