Linked bibliography for the SEP article "Hybrid Logic" by Torben Braüner
This is an automatically generated and experimental page
If everything goes well, this page should display the bibliography of the aforementioned article as it appears in the Stanford Encyclopedia of Philosophy, but with links added to PhilPapers records and Google Scholar for your convenience. Some bibliographies are not going to be represented correctly or fully up to date. In general, bibliographies of recent works are going to be much better linked than bibliographies of primary literature and older works. Entries with PhilPapers records have links on their titles. A green link indicates that the item is available online at least partially.
This experiment has been authorized by the editors of the Stanford Encyclopedia of Philosophy. The original article and bibliography can be found here.
- Areces, C., 2000. Logic Engineering. The Case of Description
and Hybrid Logics, Ph.D. thesis, Institute for Logic, Language
and Computation, University of Amsterdam. (Scholar)
- Areces, C., Blackburn, P., and Marx, M., 1999. “The
Computational Complexity of Hybrid Temporal Logics”, The
Logic Journal of the IGPL, 8: 653–679. (Scholar)
- –––, 2001. “Hybrid Logics: Characterization, Interpolation and Complexity”, Journal of Symbolic Logic, 66: 977–1010. (Scholar)
- –––, 2003. “Repairing the Interpolation Theorem in Quantified Modal Logic”, Annals of Pure and Applied Logic, 124: 287–299. (Scholar)
- Areces, C., Blackburn, P., Huertas, A., and Manzano, M., 2014. “Completeness in Hybrid Type Theory”, Journal of Philosophical Logic, 43: 209–238. (Scholar)
- Areces, C., de Rijke, M., and de Nivelle, H., 2001.
“Resolution in Modal, Description and Hybrid Logic”,
Journal of Logic and Computation, 11: 717–736. (Scholar)
- Areces, C. and Fervari, R., 2021. “Axiomatizing Hybrid XPath
with Data”, Logical Methods in Computer Science,
17:5:1–5:37. (Scholar)
- Areces, C., Fervari, R., Hoffmann, G., and Martel, M., 2018.
“Satisfiability for Relation-Changing Logics”, Journal
of Logic and Computation, 28: 1443–1470. (Scholar)
- Areces, C. and Gorin, D., 2011. “Resolution with Order and
Selection for Hybrid Logics”, Journal of Automated
Reasoning, 46: 1–42. (Scholar)
- Areces, C. and ten Cate, B., 2006. “Hybrid Logics”, in
Blackburn, van Benthem, and Wolter (eds.) (2006): 821–868. (Scholar)
- Barbosa, L.S., Martins, M.A., and Carreteiro, M., 2014. “A Hilbert-Style Axiomatisation for Equational Hybrid Logic”, Journal of Logic, Language and Information, 23: 31–52. (Scholar)
- Blackburn, P., 1993. “Nominal Tense Logic”, Notre
Dame Journal of Formal Logic, 14: 56–83. (Scholar)
- –––, 2000. “Internalizing Labelled
Deduction”, Journal of Logic and Computation, 10:
137–168. (Scholar)
- –––, 2006. “Arthur Prior and Hybrid Logic”, Synthese, 150: 329–372. (Scholar)
- Blackburn, P., Bolander, T., Braüner, T., and
Jørgensen, K.F., 2017. “Completeness and Termination for
a Seligman-style Tableau System”, Journal of Logic and
Computation, 27: 81–107. (Scholar)
- Blackburn, P., Braüner, T., and Kofod, J.L., 2020.
“Remarks on Hybrid Modal Logic with Propositional
Quantfiers”, in The Metaphysics of Time: Themes from
Prior (Logic and Philosophy of Time, No. 4), pp.
401–426, Aalborg Universitetsforlag. (Scholar)
- Blackburn, P. and Goranko, V., 2001. “Hybrid Ockhamist
Temporal Logic”, in Proc. of the Eighth International
Symposium on Temporal Representation and Reasoning (TIME-01), pp.
183–188, IEEE Computer Society Press. (Scholar)
- Blackburn, P., Huertas, A., Manzano, M., and Jørgensen,
K.F., 2014. “Henkin and Hybrid Logic”, in The Life and
Work of Leon Henkin: Essays on His Contributions (Studies in
Universal Logic), pp. 279–306, Birkhäuser. (Scholar)
- Blackburn, P. and Jørgensen, K.F., 2012. “Indexical
hybrid tense logic”, in Advances in Modal Logic (Volume
9), pp. 144–160, London: College Publications. (Scholar)
- –––, 2013. “Contextual validity in hybrid
logic”, in Modeling Using Context (Lecture Notes in
Computer Science: Volume 8177), pp. 185–198, Heidelberg:
Springer. (Scholar)
- –––, 2016a. “Arthur Prior and
‘now’”, Synthese, 193:
3665–3676. (Scholar)
- –––, 2016b. “Reichenbach, Prior and hybrid tense logic”, Synthese, 193: 3677–3689. (Scholar)
- Blackburn, P. and Marx, M., 2002. “Tableaux for Quantified
Hybrid Logic”, in Automated Reasoning with Analytic Tableaux
and Related Methods, TABLEAUX (Lecture Notes in Artificial
Intelligence: Volume 2381), pp. 38–52, Heidelberg:
Springer. (Scholar)
- –––, 2003. “Constructive Interpolation in Hybrid Logic”, Journal of Symbolic Logic, 68: 463–480. (Scholar)
- Blackburn, P. and Seligman, J., 1995. “Hybrid Languages”, Journal of Logic, Language and Information, 4: 251–271. (Scholar)
- Blackburn, P. and ten Cate, B., 2006. “Pure Extensions, Proof Rules, and Hybrid Axiomatics”, Studia Logica, 84: 277–322. (Scholar)
- Blackburn, P. and Tzakova, M., 1998. “Hybridizing Concept
Languages”, Annals of Mathematics and Artificial
Intelligence, 24: 23–49. (Scholar)
- –––, 1999. “Hybrid Languages and Temporal Logic”, Logic Journal of the IGPL, 7: 27–54. (Scholar)
- Blackburn, P., van Benthem, J., and Wolter, F. (eds.), 2006. Handbook of Modal logic, Amsterdam: Elsevier. (Scholar)
- Bolander, T. and Blackburn, P., 2007. “Termination for
Hybrid Tableaus”, Journal of Logic and Computation, 17:
517–554. (Scholar)
- –––, 2009. “Terminating Tableau Calculi
for Hybrid Logics Extending K”, in Proceedings of Methods
for Modalities 5 (Electronic Notes in Theoretical Computer
Science: Volume 231), pp. 21–39, Amsterdam: Elsevier. (Scholar)
- Bolander, T. and Braüner, T., 2006. “Tableau-Based
Decision procedures for Hybrid Logic”, Journal of Logic and
Computation, 16: 737–763. (Scholar)
- Braüner, T., 2002. “Modal logic, Truth, and the Master Modality”, Journal of Philosophical Logic, 31: 359–386. (Scholar)
- –––, 2011a. Hybrid Logic and its Proof-Theory (Applied Logic Series: Volume 37), Dordrecht-Heidelberg-Berlin-New York: Springer. (Scholar)
- –––, 2011b. “Intuitionistic Hybrid Logic:
Introduction and Survey”, Information and Computation,
209: 1437–1446. (Scholar)
- –––, 2014a. “First-order Hybrid Logic: Introduction and Survey”, Logic Journal of the IGPL, 22: 155–165. (Scholar)
- –––, 2014b. “Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks”, Journal of Logic, Language and Information, 23: 415–439. (Scholar)
- Braüner, T., Blackburn, P., and Polyanskaya, I., 2016.
“Second-order false-belief tasks: Analysis and
formalization”, in Logic, Language, Information, and
Computation : 23rd International Workshop, WoLLIC (Lecture Notes
in Computer Science: Volume 9803), pp. 125–144, Heidelberg:
Springer. (Scholar)
- Braüner, T. and de Paiva, V., 2006. “Intuitionistic Hybrid Logic”, Journal of Applied Logic, 4: 231–255. (Scholar)
- Bull, R., 1970. “An Approach to Tense Logic”, Theoria, 36: 282–300. (Scholar)
- Cerrito, S. and Cialdea, M., 2010. “Nominal Substitution at
Work with the Global and Converse Modalities”, in Advances
in Modal Logic (Volume 8), pp. 57–74, London: College
Publications. (Scholar)
- Conradie, W., Goranko, V., and Vakarelov, D., 2006.
“Algorithmic Correspondence and Completeness in Modal Logic II.
Polyadic and Hybrid Extensions of the Algorithm SQEMA”,
Journal of Logic and Computation, 16: 579–612. (Scholar)
- Copeland, J. (ed.), 1996. Logic and Reality: Essays in the Legacy of Arthur Prior, Oxford: Clarendon Press. (Scholar)
- Costa, D. and Martins, M.A., 2017. “Paraconsistency in
Hybrid Logic”, Journal of Logic and Computation, 27:
1825–1852 (Scholar)
- Franceschet, M. and de Rijke, M., 2006. “Model Checking Hybrid Logics (With An Application to Semistructured Data)”, Journal of Applied Logic, 4: 279–304. (Scholar)
- From, A.H., 2021. “Completeness for a Terminating
Seligman-Style Tableau System”, in 26th International
Conference on Types for Proofs and Programs (TYPES 2020), Leibniz
International Proceedings in Informatics (LIPIcs): Volume 188, Schloss
Dagstuhl–Leibniz-Zentrum für Informatik, pp.
5:1–5:17. (Scholar)
- From, A.H., Blackburn, P., and Villadsen, J., 2020.
“Formalizing a Seligman-Style Tableau System for Hybrid
Logic”, in: Proceedings of 10th International Joint
Conference on Automated Reasoning (IJCAR), Lecture Notes in
Computer Science (Voume 12166), pp. 474–482, Cham:
Springer-Verlag. (Scholar)
- Gabbay, D. and Woods, J. (eds.), 2006. Logic and the
Modalities in the Twentieth Century. The Handbook of the History of
Logic (Volume 7), Amsterdam: Elsevier. (Scholar)
- Gargov, G. and Goranko, V., 1993. “Modal Logic with Names”, Journal of Philosophical Logic, 22: 607–636. (Scholar)
- Goranko, V., 1994. “Temporal Logic with Reference
Pointers”, in Proceedings of the 1st International
Conference on Temporal Logic (Lecture Notes in Artificial
Intelligence: Volume 827), pp. 133–148, Berlin: Springer. (Scholar)
- –––, 1996. “Hierarchies of Modal and Temporal Logics with Reference Pointers”, Journal of Logic, Language, and Information, 5: 1–24. (Scholar)
- Goranko, V. and Vakarelov, D., 2001. “Sahlqvist Formulas in
Hybrid Polyadic Modal Logics”, Journal of Logic and
Computation, 11: 737–754. (Scholar)
- Hansen, J.U., 2010. “Terminating Tableaux for Dynamic Epistemic Logics”, in Proceedings of the 6th Workshop on Methods for Modalities (M4M-6 2009) (Electronic Notes in Theoretical Computer Science: Volume 262), pp. 141–156. (Scholar)
- –––, 2011. A Logic Toolbox for Modeling
Knowledge and Information in Multi-Agent Systems and Social
Epistemology, Ph.D. thesis, Roskilde University. (Scholar)
- Hansen, J.U., Bolander, T., and Braüner, T., 2018.
“Many-Valued Hybrid Logic”, Journal of Logic and
Computation, 28: 883–908. (Scholar)
- Hasle, P., 2020. “The Beginnings of Hybrid Logic: Meredith,
Prior and the Contingent Constant n”, in The Metaphysics of
Time: Themes from Prior (Logic and Philosophy of Time No. 4), pp.
145–163, Aalborg Universitetsforlag. (Scholar)
- Hasle, P. and Øhrstrøm, P., 2016.
“Prior’s Paradigm for the Study of Time and its
Methodological Motivation”, Synthese, 193:
3401–3416. (Scholar)
- Indrzejczak, A., 2016. “Simple cut elimination proof for hybrid logic”, Logic and Logical Philosophy, 25: 129–141. (Scholar)
- Indrzejczak, A., 2020. “Existence, Definedness and Definite
Descriptions in Hybrid Modal Logic”, in Advances in Modal
Logic (Volume 13), pp. 349–368, London: College
Publications. (Scholar)
- Jørgensen, K.F., Blackburn, P., Bolander, B., and
Braüner, T., 2016. “Synthetic Completeness Proofs for
Seligman-style Tableau Systems”, in Advances in Modal
Logic (Volume 11), pp. 302–321, London: College
Publications. (Scholar)
- Kaminski, M. and Smolka, G., 2009. “Terminating Tableau Systems for Hybrid Logic with Difference and Converse”, Journal of Logic, Language and Information, 18: 437–464. (Scholar)
- Kamp, H., 1971. “Formal properties of
‘now’”, Theoria, 37: 237–273. (Scholar)
- Kracht, M. and Wolter, F., 1997. “Simulation and Transfer Results in Modal Logic — A Survey”, Studia Logica, 59: 149–177. (Scholar)
- Lange, M., 2009. “Model Checking for Hybrid Logic”, Journal of Logic, Language and Information, 18: 465–491. (Scholar)
- Müller, T., 2007. “Prior’s Tense-Logical
Universalism”, Logique et Analyse, 50:
223–252. (Scholar)
- Neves, R., Madeira, A., Martins, M.A., Barbosa, L.S., 2016.
“Proof theory for hybrid(ised) logics”, Science of
Computer Programming, 126: 73–93. (Scholar)
- Øhrstrøm, P. and Hasle, P., 1993. “A.N. Prior’s Rediscovery of Tense Logic”, Erkenntnis, 39: 23–50. (Scholar)
- –––, 1995. Temporal Logic. From Ancient Ideas to Artificial Intelligence, Dordrecht: Kluwer. (Scholar)
- –––, 2006. “A.N. Prior’s
Logic”, in Gabbay and Woods (2006), pp. 399–446. (Scholar)
- Passy, S. and Tinchev, T., 1985. “Quantifiers in Combinatory
PDL: Completeness, Definability, Incompleteness”, in
Fundamentals of Computation Theory FCT 85 (Lecture Notes in
Computer Science: Volume 199), pp. 512–519, Berlin:
Springer. (Scholar)
- Passy, S. and Tinchev, T., 1991. “An Essay in Combinatory
Dynamic Logic”, Information and Computation, 93:
263–332. (Scholar)
- Prior, A.N., 1967. Past, Present and Future, Oxford: Clarendon Press. (Scholar)
- –––, 1968. Papers on Time and Tense, Oxford: Clarendon Press. (Scholar)
- –––, 2003. Papers on Time and Tense, second revised and expanded edition of Prior 1968, edited by P. Hasle, P. Øhrstrøm, T. Braüner, and J. Copeland, Oxford: Oxford University Press. (Scholar)
- Prior, A.N. and Fine, K., 1977. Worlds, Times and Selves, London: Duckworth; based on manuscripts by Prior with a preface and a postscript by K. Fine. (Scholar)
- Reichenbach, H., 1947. Elements of Symbolic Logic, New York: Free Press. (Scholar)
- Seligman, J., 1997. “The logic of correct
description”, in Advances in Intensional Logic (Applied
Logic Series: Volume 7), pp. 107–135, Dordrecht: Kluwer. (Scholar)
- Seligman, J., 2001. “Internalisation: The Case of Hybrid
Logics”, Journal of Logic and Computation, 11:
671–689. (Scholar)
- Sylvan, R., 1996. “Other Withered Stumps of Time”, in
Copeland (1996), pp. 111–130. (Scholar)
- ten Cate, B., 2004. Model Theory for Extended Modal
Languages, PhD thesis, Institute for Logic, Language and
Computation, University of Amsterdam. (Scholar)