Kripke semantics for the logic of problems and propositions

DOI10.1070/SM9275zbMATH Open1476.03003OpenAlexW3007726458MaRDI QIDQ3304397FDOQ3304397

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

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

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)

Cites Work

• Title not available (Why is that?)
• The intuitionistic fragment of computability logic at the propositional level
• Intuitionistic computability logic
• Linear logic
• Intuitionism. An introduction
• Explicit provability and constructive semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the unity of logic
• Title not available (Why is that?)
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic
• Intuitionistic epistemology and modal logics of verification
• INTUITIONISTIC EPISTEMIC LOGIC
• Unifying classical and intuitionistic logics for computational control
• 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
• The logic of tasks
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments

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)