The following pages link to (Q3509055):
Displaying 19 items.
- Semantics and computation of the generalized modus ponens: The long paper (Q582262) (← links)
- General information in relevant logic (Q833037) (← links)
- First-order classical modal logic (Q863182) (← links)
- Generalized quantifiers and modal logic (Q1314283) (← links)
- Modal metatheory for quantified modal logic, with and without the Barcan formulas (Q1982016) (← links)
- Modal logic with bounded quantification over worlds (Q2772882) (← links)
- (Q3574465) (← links)
- Commutativity of Quantifiers in Varying-Domain Kripke Models (Q3600561) (← links)
- (Q3822144) (← links)
- (Q4025891) (← links)
- (Q4459084) (← links)
- FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS (Q5216980) (← links)
- Generalized Modal Satisfiability (Q5449825) (← links)
- An alternative semantics for quantified relevant logic (Q5477628) (← links)
- Generalized quantification as substructural logic (Q5687328) (← links)
- QUANTIFIED MODAL RELEVANT LOGICS (Q5880427) (← links)
- Foundations for entailment checking in quantitative separation logic (Q6166785) (← links)
- One variable relevant logics are S5Ish (Q6606834) (← links)
- First-order relevant reasoners in classical worlds (Q6638235) (← links)