scientific article; zbMATH DE number 3275580
From MaRDI portal
Publication:5559243
Cited in
(5)- Three ways of recognizing inessential formulas in sequents
- Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
- Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
- Variations on the Kripke trick
- Superintuitionistic predicate logics of linear Kripke frames: undecidability with two individual variables
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5559243)
