Abstract
We present an axiom system for basic hybrid logic extended with propositional quantifiers (a second-order extension of basic hybrid logic) and prove its (basic and pure) strong completeness with respect to general models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
There is more to general frames that this: they can also be viewed as representations of modal algebras; see Chap. 5 of [6] for details. Both lines of work stem from a classic paper by S. K. Thomason [21]. This links general frames and modal algebras, and shows that (a) there are Priorean tense logics that are not complete with respect to any class of frames, that (b) every Priorean tense logic is complete with respect to a class of general frames. That is: general frames “tame” frame validity.
- 4.
- 5.
Note that on standard models we could drop the restriction prohibiting substitution of quantified formulas as standard models admit all subsets of the frame as propositions. That is, the rule which permits any soft substitution is sound on standard models. However this does not lead to a completeness result for standard models, as (thanks to Kit Fine’s results [11]) we know that the set of all standard validities on the class of all standard models is not recursively enumerable.
- 6.
Namely: “Tense logic and the logic of earlier and later”, and “Quasi-propositions and quasi-individuals”, both of which can be found in the first edition of Papers on Time and Tense [16]. The new edition [17] contains several more papers that build on these two, including “Egocentric logic”. See Kofod’s PhD thesis [14] for further discussion.
References
Areces, C., ten Cate, B.: Hybrid logic. In: Handbook of Modal Logic, pp. 821–868. Elsevier (2007)
Baader, F., Calvanese, D., McGuinness, D., Patel-Schneider, P., Nardi, D., et al.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)
Belardinelli, F., Van Der Hoek, W., Kuijer, L.B.: Second-order propositional modal logic: expressiveness and completeness results. Artif. Intell. 263, 3–45 (2018)
Blackburn, P.: Arthur Prior and hybrid logic. Synthese 150(3), 329–372 (2006)
Blackburn, P., ten Cate, B.: Pure extensions, proof rules, and hybrid axiomatics. Stud. Logica. 84, 277–322 (2006)
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Press (2001)
Blackburn, P.R., Braüner, T., Kofod, J.L.: Remarks on hybrid modal logic with propositional quantfiers. In: The Metaphysics of Time: Themes from Prior, pp. 401–426. Aalborg Universitetsforlag (2020)
Braüner, T.: Hybrid Logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, summer 2017 edn. (2017)
Bull, R.: On modal logic with propositional quantifiers. J. Symbolic Logic 34(2), 257–263 (1969)
Copeland, B.J.: Arthur Prior. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Summer 2017 edn. (2017)
Fine, K.: Propositional quantifiers in modal logic. Theoria 36, 336–346 (1970)
Henkin, L.: Completeness in the theory of types. J. Symbolic Logic 15(2), 81–91 (1950)
Kaminski, M., Tiomkin, M.: The expressive power of second-order propositional modal logic. Notre Dame J. Formal Logic 37(1), 35–43 (1996)
Kofod, J.L.: What on earth was Arthur Prior thinking?: About physics and hybrid logic. Ph.D. thesis, IKH, Roskilde University (2022)
Øhrstrøm, P., Hasle, P.: Temporal Logic: from Ancient Ideas to Artificial Intelligence, vol. 57. Springer, Dordrecht (2007). https://doi.org/10.1007/978-0-585-37463-5
Prior, A.: Papers on Time and Tense. Oxford University Press (1968)
Prior, A.: Papers on Time and Tense. Oxford University Press, new edn. (2003)
Prior, A.N.: Epimenides the Cretan. J Symbolic Logic 23(3), 261–266 (1958)
Prior, A.N.: On a family of paradoxes. Notre Dame J. Formal Logic 2(1), 16–32 (1961)
Prior, A.N., Fine, K.: Worlds, Times, and Selves. Duckworth, London (1977)
Thomason, S.: Semantic analysis of tense logics. J. Symbolic Logic 37, 150–158 (1972)
Acknowledgements
We would like to thank Antje Rumberg and the three anonymous referees for their comments and corrections on earlier versions of this paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Blackburn, P., Braüner, T., Kofod, J.L. (2023). An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. In: Hansen, H.H., Scedrov, A., de Queiroz, R.J. (eds) Logic, Language, Information, and Computation. WoLLIC 2023. Lecture Notes in Computer Science, vol 13923. Springer, Cham. https://doi.org/10.1007/978-3-031-39784-4_8
Download citation
DOI: https://doi.org/10.1007/978-3-031-39784-4_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-39783-7
Online ISBN: 978-3-031-39784-4
eBook Packages: Computer ScienceComputer Science (R0)