Modal sequents and definability

DOI10.2307/2274361zbMath0641.03014OpenAlexW4245450076MaRDI QIDQ3781736

Bruce M. Kapron

Publication date: 1987

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

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

zbMATH Keywords

modal logicgeneral framesmodal algebrasKripke-framesequent validity

Mathematics Subject Classification ID

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

Related Items (4)

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 ⋮ Sequent calculi for global modal consequence relations ⋮ A deontic counterpart of Lewis's S1

This page was built for publication: Modal sequents and definability