A unified semantics for a family of modal logics with propositional constants

DOI10.1007/S11787-015-0137-5MaRDI QIDQ263107zbMATH OpenOpenAlexFDO

Authors Matteo Pascucci

Publication date 4 April 2016

Published in Logica Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11787-015-0137-5

zbMATH Keywords

general framesmodal logicpropositional constantsstrict range

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1036761
• scientific article; zbMATH DE number 2236678
• The power of a propositional constant
• Modal logic without contraction in a metatheory without contraction
• scientific article; zbMATH DE number 2101966

Cites work

• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 1852922 (Why is no real title available?)
• scientific article; zbMATH DE number 3363520 (Why is no real title available?)
• An observation concerning Porte's rule in modal logic
• Denumerably many Post-complete normal modal logics with propositional constants
• Intensional logics without iterative axioms
• Modal logic with functorial variables and a contingent constant
• Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
• Necessity and relative contingency
• Nominal tense logic
• Propositional quantifiers in modal logic1
• Relative necessity
• Semantic analysis of tense logics
• The power of a propositional constant

Cited in

(2)

• Unification of Modal Logic via Topological Categories
• scientific article; zbMATH DE number 2236678 (Why is no real title available?)

This page was built for publication: A unified semantics for a family of modal logics with propositional constants

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