Modal sequents and definability
From MaRDI portal
Publication:3781736
DOI10.2307/2274361zbMath0641.03014MaRDI QIDQ3781736
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
03B45: Modal logic (including the logic of norms)
Related Items
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, A deontic counterpart of Lewis's S1