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

DOI10.1007/S11225-021-09962-1OpenAlexW3196602499MaRDI QIDQ2115291FDOQ2115291

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

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

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)

Cites Work

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

Cited In (5)

• Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain
• On Blass translation for Le\'sniewski's propositional ontology and modal logics
• A Sound Interpretation of Leśniewski's Epsilon in Modal Logic KTB
• Title not available (Why is that?)
• 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)