Abstract
In this chapter we introduce first-order hybrid logic and its proof-theory. The chapter is structured as follows. In the first section of the chapter we introduce first-order hybrid logic. In the second section we introduce a natural deduction system for first-order hybrid logic (taken from Braüner (2005b)) and in the third section we introduce an axiom system for first-order hybrid logic (also taken from Braüner (2005b)).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
C. Areces, P. Blackburn, and M. Marx. Repairing the interpolation theorem in quantified modal logic. Annals of Pure and Applied Logic, 124:287–299, 2003.
R.C. Barcan. A functional calculus of first order based on strict implication. Journal of Symbolic Logic, 11:1–16, 1946.
P. Blackburn and M. Marx. Tableaux for quantified hybrid logic. In U. Egly and C. Fermüller, editors, Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, volume 2381 of Lecture Notes in Artificial Intelligence, pages 38–52. Springer Berlin, 2002.
M. Fitting. First-order intensional logic. Annals of Pure and Applied Logic, 127:171–193, 2004. Essays in the memory of Alfred Tarski. Parts IV, V and VI.
A. Hazen. Expressive completeness in modal language. Journal of Philosophical Logic, 5:25–46, 1976.
H.T. Hodes. Some theorems on the expressive limitations of modal languages. Journal of Philosophical Logic, 13:13–26, 1984.
T. Jager. An actualist semantics for quantified modal logic. Notre Dame Journal of Formal Logic, 23:335–349, 1982.
D. Lewis. Counterpart theory and quantified modal logic. Journal of Philosophy, 65:113–126, 1968.
D. Lewis. Counterparts of persons and their bodies. Journal of Philosophy, 68:203–211, 1971.
H. Sturm and F. Wolter. First-order expressivity for S5-models: Modal vs. two-sorted languages. Journal of Philosophical Logic, 30:571–591, 2001.
M. Fitting and R.L. Mendelsohn. First-Order Modal Logic. Kluwer, 1998.
J.W. Garson. Quantification in modal logic. In D.M. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, 2nd Edition, volume 3, pages 267–323. Kluwer, 2001.
G.E. Hughes and M.J. Cresswell. A New Introduction to Modal Logic. Routledge, 1996.
M. Kracht and O. Kutz. The semantics of modal predicate logic I. Counterpart-frames. In F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev, editors, Advances in Modal Logic, Volume 3, pages 299–320. World Scientific, 2002.
S. Lindstrøm and K. Segerberg. Modal logic and philosophy. In P. Blackburn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic, pages 1149–1214. Elsevier, 2007.
H.J. Ohlbach, A. Nonnengart, M. de Rijke, and D.M. Gabbay. Encoding two-valued non-classical logics in classical logic. In J.A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume 1, pages 1403–1486. MIT Press, 2001.
A. Plantinga. Actualism and possible worlds. In M. Davidson, editor, Essays in the Metaphysics of Modality, pages 103–121. Oxford University Press, 2003. Originally published in Theoria, 42:139–160, 1976.
W.V.O. Quine. Three grades of modal involvement. In The Ways of Paradox and Other Essays, pages 156–174. Random House, 1953.
J. van Benthem. Modal Logic and Classical Logic. Bibliopolis, 1983.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media B.V.
About this chapter
Cite this chapter
Braüner, T. (2011). First-Order Hybrid Logic. In: Hybrid Logic and its Proof-Theory. Applied Logic Series, vol 37. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0002-4_6
Download citation
DOI: https://doi.org/10.1007/978-94-007-0002-4_6
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-0001-7
Online ISBN: 978-94-007-0002-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)