Pages that link to "Item:Q1577355"
From MaRDI portal
The following pages link to Modal deduction in second-order logic and set theory. II (Q1577355):
Displaying 6 items.
- Three-variable statements of set-pairing (Q1885036) (← links)
- A set-theoretic translation method for polymodal logics (Q1904398) (← links)
- Linear ordering on graphs, anti-founded sets and polynomial time computability (Q1960423) (← links)
- Modal deduction in second-order logic and set theory - I (Q4340421) (← links)
- On the existence of a modal-logical basis for monadic second-order logic (Q4914416) (← links)
- STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS (Q5357324) (← links)