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, PhD 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 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). (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)
  • –––, 2007. “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., 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. 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. (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. 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., 2016. “Paraconsistency in Hybrid Logic”, Journal of Logic and Computation, to appear. DOI: https://doi.org/10.1093/logcom/exw027 (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)
  • 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, PhD thesis, Roskilde University. (Scholar)
  • Hansen, J.U., Bolander, T., and Braüner, T., 2015. “Many-Valued Hybrid Logic”, Journal of Logic and Computation, to appear. DOI: https://doi.org/10.1093/logcom/exv040 (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)
  • 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. 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)
  • Ø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, Oxford: Oxford University Press. Second revised and expanded edition of Prior (1968). Edited by P. Hasle, P. Øhrstrøm, T. Braüner, and J. Copeland. (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. 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)

Generated Sun Jun 25 08:12:07 2017