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., 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 ten Cate, B., 2006. “Hybrid Logics”, in Blackburn, van Benthem, and Wolter (eds.) (2006). (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. and Marx, M., 2003. “Constructive Interpolation in Hybrid Logic”, Journal of Symbolic Logic, 68: 463–480. (Scholar)
- Blackburn, P. and ten Cate, B., 2006. “Pure Extensions, Proof Rules, and Hybrid Axiomatics”, Studia Logica, 84: 277–322. (Scholar)
- Blackburn, P., van Benthem, J., and Wolter, F. (eds.), 2006. Handbook of Modal logic, Amsterdam: Elsevier. (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)
- 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)
- –––, 2004a. “Natural Deduction for Hybrid Logic”, Journal of Logic and Computation, 14: 329–353. (Scholar)
- –––, 2004b. “Two Natural Deduction Systems for Hybrid Logic: A Comparison”, Journal of Logic, Language, and Information, 13: 1–23. (Scholar)
- –––, 2005a. “Natural Deduction for First-Order Hybrid Logic”, Journal of Logic, Language and Information, 14: 173–198. (Scholar)
- –––, 2005b. “Proof-Theoretic Functional Completeness for the Hybrid Logics of Everywhere and Elsewhere”, Studia Logica, 81: 191–226. (Scholar)
- –––, 2006. “Axioms for Classical, Intuitionistic, and Paraconsistent Hybrid Logic”, Journal of Logic, Language, and Information, 15: 179–194. (Scholar)
- –––, 2011. Hybrid Logic and its Proof-Theory (Applied Logic Series: Volume 37), Dordrecht-Heidelberg-Berlin-New York: 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)
- Copeland, J. (ed.), 1996. Logic and Reality: Essays in the Legacy of Arthur Prior, Oxford: Clarendon Press. (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)
- 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)
- Goranko, V., 1996. “Hierarchies of Modal and Temporal Logics with Reference Pointers”, Journal of Logic, Language, and Information, 5: 1–24. (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)
- Kracht, M. and Wolter, F., 1997. “Simulation and Transfer Results in Modal Logic — A Survey”, Studia Logica, 59: 149–177. (Scholar)
- Hansen, J.U., Bolander, T., and Braüner, T., 2008. “Many-Valued Hybrid Logic”, in Advances in Modal Logic (Volume 7), pp. 111–132. College Publications. (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. Forthcoming. (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)
- –––, 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)
- 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, Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam. (Scholar)
Generated Sat May 11 11:54:19 2013
