Programming, Logic and Intelligent Systems

Filter
Encyclopedia chapter

Search results

  • 2022

    Hybrid Logic

    Braüner, T., 2022, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (ed.). Spring 2022 Edition ed. Stanford University

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review

  • 2017

    Hybrid Logic

    Braüner, T., 2017, The Stanford Encyclopedia of Philosophy. Zalta, E. N. (ed.). Stanford University

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review

    Open Access
  • 2013

    Hybrid Logic

    Braüner, T., 2013, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (eds.). 2 ed. Springer Science+Business Media, Vol. 17. p. 1-77

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review

  • 2011

    Hybrid Logic (substantive revised version)

    Braüner, T., 2011, The Stanford Encyclopedia of Philosophy. www: Stanford University

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research › peer-review

  • 2006

    First-Order Modal Logic

    Braüner, T. & Ghilardi, S., 2006, Handbook of Modal Logic. Blackburn, P., van Benthem, J. & Wolter, F. (eds.). Amsterdam: Pergamon Press, p. 549-620 73 p. (Studies in Logic and Practical Reasoning; No. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research

  • Hybrid Logic

    Braüner, T., 2006, The Stanford Encyclopedia of Philosophy. Stanford, CA: Stanford University Press

    Research output: Chapter in Book/Report/Conference proceeding › Encyclopedia chapter › Research