scientific article; zbMATH DE number 4212005

MaRDI QIDQ3360159zbMATH OpenFDO

Authors Valentin Goranko

Publication date 1991

zbMATH Keywords

decision proceduredeductive systemspropositional normal modal logicsunprovability operator

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Recommendations

• On modal logic of deductive closure
• Undecidable properties of extensions of provability logic. II
• Biological Perspectives Irreversible Lithium-Induced Neuropathy: Two Cases
• Syntactic refutations against finite models in modal logic
• Undecidable properties of extensions of the logic of provability

Cited in

(8)

• A Łukasiewicz-style refutation system for the modal logic S4
• On modal logic of deductive closure
• Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview
• Rejection in Łukasiewicz’s and Słupecki’s Sense
• A generalisation of a refutation-related method in paraconsistent logics
• scientific article; zbMATH DE number 7085124 (Why is no real title available?)
• scientific article; zbMATH DE number 2209840 (Why is no real title available?)
• PROVING UNPROVABILITY

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 Q3360159)