On Blass translation for Leśniewski's propositional ontology and modal logics

DOI10.1007/S11225-021-09962-1MaRDI QIDQ2115291zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 15 March 2022

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2006.15421

zbMATH Keywords

interpretationembeddingdeontic logictranslationmodal interpretationnormal modal logicfaithfulnessmodal logic KLeśniewski's ontologyLeśniewski's epsilon

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20) Temporal logic (03B44) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• scientific article; zbMATH DE number 697071
• A Sequent Calculus for the Lesniewskian Modal Logic
• scientific article; zbMATH DE number 859789
• scientific article; zbMATH DE number 1204469
• A propositional fragment of Leśniewski's ontology and its formulation by the tableau method

Cites work

• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 4014675 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 6609010 (Why is no real title available?)
• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 697071 (Why is no real title available?)
• scientific article; zbMATH DE number 1028830 (Why is no real title available?)
• scientific article; zbMATH DE number 1032008 (Why is no real title available?)
• scientific article; zbMATH DE number 1032010 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 804147 (Why is no real title available?)
• scientific article; zbMATH DE number 859789 (Why is no real title available?)
• A propositional fragment of Lesniewski's ontology
• A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
• Embedding the elementary ontology of Stanisław Leśniewski into the monadic second-order calculus of predicates
• Embeddings between the elementary ontology with an atom and the monadic second-order predicate logic
• Gentzen calculi for modal propositional logic
• Handbook of philosophical logic. Vol. 1.
• Handbook of philosophical logic. Vol. 7
• Handbook of philosophical logic. Vol. 8
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Leśniewski's systems of logic and foundations of mathematics
• Many-dimensional modal logics: theory and applications
• Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
• Multi-dimensional modal logic
• Plural quantifiers: a modal interpretation
• Proof methods for modal and intuitionistic logics
• Proof theory and algebra in logic
• Reduction of second‐order logic to modal logic
• Reduction of tense logic to modal logic. I
• Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain
• Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology
• Topos Semantics for Higher-Order Modal Logic

Cited in

(5)

• Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain
• A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB
• On Blass translation for Le\'sniewski's propositional ontology and modal logics
• scientific article; zbMATH DE number 697071 (Why is no real title available?)
• A propositional fragment of Leśniewski's ontology and its formulation by the tableau method

This page was built for publication: On Blass translation for Leśniewski's propositional ontology and modal logics

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