Proof-Theory of Propositional Hybrid Logic
Publisher
Springer Netherlands
Reference27 articles.
1. C. Areces, P. Blackburn, and M. Marx. Hybrid logics: Characterization, interpolation and complexity. Journal of Symbolic Logic, 66:977–1010, 2001.
2. D. Basin, S. Matthews, and L. Viganò. Labelled propositional modal logics: Theory and practice. Journal of Logic and Computation, 7:685–717, 1997.
3. E. Bencivenga. Free logics. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd Edition, volume 5, pages 147–196. Kluwer, Dordrecht 2002.
4. P. Blackburn. Nominal tense logic. Notre Dame Journal of Formal Logic, 14:56–83, 1993.
5. P. Blackburn. Internalizing labelled deduction. Journal of Logic and Computation, 10:137–168, 2000a.