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

DOI10.1007/s11787-015-0137-5zbMath1336.03025OpenAlexW2261149013MaRDI QIDQ263107

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

modal logicgeneral framespropositional constantsstrict range

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nominal tense logic
• Denumerably many Post-complete normal modal logics with propositional constants
• The power of a propositional constant
• Necessity and relative contingency
• Intensional logics without iterative axioms
• Modal logic with functorial variables and a contingent constant
• Propositional quantifiers in modal logic1
• Relative necessity
• Semantic analysis of tense logics
• Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.

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