The following pages link to George F. Schumm (Q758988):
Displaying 27 items.
- S3.02 = S3.03 (Q758989) (← links)
- Some failures of interpolation in modal logic (Q1073010) (← links)
- The number of nonnormal extensions of S4 (Q1104919) (← links)
- Modal logics with no minimal proper extensions (Q1139579) (← links)
- A Henkin-style completeness proof for the pure implicational calculus (Q1217092) (← links)
- Wajsberg normal forms for S5 (Q1224087) (← links)
- Putting K in its place (Q1229704) (← links)
- Some compactness results for modal logic (Q1823924) (← links)
- Expressive completeness and decidability (Q2277437) (← links)
- On some open questions of B. Sobocinski (Q2530293) (← links)
- On a modal system of D.C. Makinson and B. Sobocinski (Q2531274) (← links)
- A note on the structure of the power set (Q2539643) (← links)
- Solutions to four modal problems of Sobocinski (Q2542275) (← links)
- K and Z (Q2559356) (← links)
- Remark on a logic of preference (Q2560811) (← links)
- The number of {□, →}-logics (Q3035257) (← links)
- Negation‐Free Modal Logics (Q3853595) (← links)
- (Q3872432) (← links)
- Bounded Properties in Modal Logic (Q3916549) (← links)
- Disjunctive extensions of S4 and a conjecture of Goldblatt's (Q4128533) (← links)
- (Q4133939) (← links)
- An incomplete nonnormal extension of <i>S</i>3 (Q4166738) (← links)
- (Q4277695) (← links)
- Why does Halldén‐completeness matter? (Q4869967) (← links)
- (Q5552743) (← links)
- (Q5672612) (← links)
- An alleged problem for possible worlds semantics (Q5708459) (← links)
