Pages that link to "Item:Q4340421"
From MaRDI portal
The following pages link to Modal deduction in second-order logic and set theory - I (Q4340421):
Displaying 6 items.
- A multidimensional modal translation for a formal system motivated by situation semantics (Q1182697) (← links)
- Modal deduction in second-order logic and set theory. II (Q1577355) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- A set-theoretic translation method for polymodal logics (Q1904398) (← links)
- Modal frame correspondences and fixed-points (Q2433098) (← links)
- Simulating polyadic modal logics by monadic ones (Q3160548) (← links)