The following pages link to (Q5335309):
Displaying 19 items.
- Does the deduction theorem fail for modal logic? (Q383061) (← links)
- On the simple substitution property for superintuitionistic and modal propositional logics (Q542292) (← links)
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- Involutions defined by monadic terms (Q1121302) (← links)
- First-order indefinite and uniform neighbourhood semantics (Q1140625) (← links)
- A note on deduction theorem for Gödel's propositional calculus G4 (Q1217692) (← links)
- Remarks on discussive propositional calculus (Q1218840) (← links)
- Discussive sentential calculuc of Jaskowski (Q1220919) (← links)
- Modal logics in the vicinity of S1 (Q1924324) (← links)
- Intuitionistic fuzzy temporal-modal operators (Q2080102) (← links)
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter (Q2323638) (← links)
- Making knowledge explicit: how hard it is (Q2500480) (← links)
- The deduction theorems valid in certain fragments of the Lewis' system S2 and the system T of Feys-von Wright (Q2562848) (← links)
- A formal characterisation of Hamblin's action-state semantics (Q2642475) (← links)
- A Brief History of Natural Deduction (Q2757973) (← links)
- On Some Modal Type Intuitionistic Fuzzy Operators (Q4558950) (← links)
- Mathematics of Intuitionistic Fuzzy Sets (Q5241454) (← links)
- A liberated version of S5 (Q5588593) (← links)
- Two decidable classes of formulas of the modal logic S5 (Q5930988) (← links)
