Modal sequents and definability

DOI10.2307/2274361MaRDI QIDQ3781736zbMATH OpenOpenAlexFDO

Authors Bruce M. Kapron

Publication date 1987

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://summit.sfu.ca/item/5893

zbMATH Keywords

general framesKripke-framemodal algebrasmodal logicsequent validity

Mathematics Subject Classification ID

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

Recommendations

• A generalization of modal frame definability
• Modal sequents for normal modal logics
• Modular sequent systems for modal logic
• Modal definability in enriched languages
• Towards a generalization of modal definability

Cited in

(10)

• The preservation of coherence
• A perspective on modal sequent logic
• Sequent calculi for global modal consequence relations
• A deontic counterpart of Lewis's S1
• scientific article; zbMATH DE number 440120 (Why is no real title available?)
• Modal Expressivity and Definability over Sets
• scientific article; zbMATH DE number 847940 (Why is no real title available?)
• Existential definability of modal frame classes
• Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms
• Linear temporal logic with until and next, logical consecutions

This page was built for publication: Modal sequents and definability

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