Kripke semantics for the logic of problems and propositions

DOI10.1070/SM9275MaRDI QIDQ3304397zbMATH OpenOpenAlexFDO

Authors A. A. Onoprienko

Publication date 31 July 2020

Published in Sbornik: Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1070/sm9275

zbMATH Keywords

non-classical logicsKripke semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• scientific article; zbMATH DE number 4125400
• scientific article; zbMATH DE number 4127178
• The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC
• Explicit provability and constructive semantics
• Constructive modal logics. I

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 50290 (Why is no real title available?)
• scientific article; zbMATH DE number 107511 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Explicit provability and constructive semantics
• INTUITIONISTIC EPISTEMIC LOGIC
• Intuitionism. An introduction
• Intuitionistic computability logic
• Intuitionistic epistemology and modal logics of verification
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic
• Linear logic
• Logic, methodology and philosophy of science. IV. Proceedings of the Fourth International Congress for Logic, Methodology and Philosophy of Science, Bucharest, August 29 - September 4, 1971
• On the unity of logic
• THE LOGIC OF RESOURCES AND CAPABILITIES
• The intuitionistic fragment of computability logic at the propositional level
• The logic of tasks
• Unifying classical and intuitionistic logics for computational control

Cited in

(5)

• A joint logic of problems and propositions
• Cardinality reduction theorem for logics QHC and QH4
• The predicate version of the joint logic of problems and propositions
• Kripke Semantics for Basic Sequent Systems
• Topological models of propositional logic of problems and propositions

This page was built for publication: Kripke semantics for the logic of problems and propositions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3304397)