Kripke semantics for the logic of problems and propositions

DOI10.1070/SM9275zbMath1476.03003OpenAlexW3007726458MaRDI QIDQ3304397

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

Kripke semanticsnon-classical logics

Mathematics Subject Classification ID

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

Related Items

Cardinality reduction theorem for logics QHC and QH4 ⋮ Topological models of propositional logic of problems and propositions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• On the unity of logic
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic
• Intuitionism. An introduction
• 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 intuitionistic fragment of computability logic at the propositional level
• Explicit Provability and Constructive Semantics
• Intuitionistic Epistemology and Modal Logics of Verification
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• Unifying Classical and Intuitionistic Logics for Computational Control
• Intuitionistic computability logic
• INTUITIONISTIC EPISTEMIC LOGIC