scientific article; zbMATH DE number 1880278
From MaRDI portal
Recommendations
Cited in
(15)- Sequent calculus Sk4 for skolemized formulas
- scientific article; zbMATH DE number 2053218 (Why is no real title available?)
- Loop-free calculus for modal logic S4. II
- On the satisfiability problem for a 4-level quantified syllogistic and some applications to modal logic
- A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4
- The recursive resolution method for modal logic
- Restricted interpolation over modal logic S4
- A dual-context sequent calculus for the constructive modal logic S4
- A Modal-Layered Resolution Calculus for K
- The resolution method for one reducible class of formulas of the first-order modal logic S4.
- scientific article; zbMATH DE number 510785 (Why is no real title available?)
- scientific article; zbMATH DE number 4128785 (Why is no real title available?)
- Path calculus in the modal logic S4
- Linear strategy for propositional modal resolution
- scientific article; zbMATH DE number 4055570 (Why is no real title available?)
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 Q4798640)