On Blass translation for Leśniewski's propositional ontology and modal logics
From MaRDI portal
Publication:2115291
DOI10.1007/s11225-021-09962-1OpenAlexW3196602499MaRDI QIDQ2115291
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
embeddingtranslationdeontic logicinterpretationmodal interpretationnormal modal logicfaithfulnessmodal logic KLeśniewski's epsilonLeśniewski's ontology
Modal logic (including the logic of norms) (03B45) Temporal logic (03B44) Subsystems of classical logic (including intuitionistic logic) (03B20) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items (1)
Cites Work
- Plural quantifiers: a modal interpretation
- Handbook of philosophical logic. Vol. 8
- Gentzen calculi for modal propositional logic
- Proof methods for modal and intuitionistic logics
- Handbook of philosophical logic. Volume II: Extensions of classical logic
- 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
- 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
- A propositional fragment of Lesniewski's ontology
- Multi-dimensional modal logic
- Many-dimensional modal logics: theory and applications
- Handbook of philosophical logic. Vol. 7
- 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
- Reduction of tense logic to modal logic. I
- Reduction of second‐order logic to modal logic
- Handbook of philosophical logic. Vol. 1.
- Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On Blass translation for Leśniewski's propositional ontology and modal logics