Cites work
- scientific article; zbMATH DE number 5073461 (Why is no real title available?)
- scientific article; zbMATH DE number 1784989 (Why is no real title available?)
- First order extensions of classical systems of modal logic. The role of the Barcan schemas
- For the Sake of the Argument
- Non-adjunctive inference and classical modalities
This page was built for publication: Deductive closure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q382987)