Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/wolter-f

Frank Wolter (wolter-f)

Contributions to Philosophie.ch

No contributions yet

Bibliography

    Balbiani, Philippe, Nobi-Yuki, Suzuki, Wolter, Frank and Zakharyaschev, Michael, eds. 2003. Advances in Modal Logic. vol. IV. London: King’s College Publications.
    Blackburn, Patrick, van Benthem, Johan and Wolter, Frank. 2007. Handbook of Modal Logic. Studies in Logic and Practical Reasoning n. 3. Amsterdam: Elsevier Science Publishers B.V.
    Gabbay, Dov M., Kurucz, Ágnes, Wolter, Frank and Zakharyaschev, Michael. 2003. Many-Dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics n. 148. Amsterdam: North-Holland Publishing Co.
    Ghilardi, Silvio, Lutz, Carsten, Wolter, Frank and Zakharyaschev, Michael. 2006. Conservative Extensions in Modal Logic.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 187–207. London: King’s College Publications.
    Konev, B., Kontchakov, Roman, Wolter, Frank and Zakharyaschev, Michael. 2006. Dynamic Topological Logics over Spaces with Continuous Functions.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 299–318. London: King’s College Publications.
    Kontchakov, Roman, Lutz, Carsten, Wolter, Frank and Zakharyaschev, Michael. 2004. Temporalizing Tableaux.” Studia Logica: An International Journal for Symbolic Logic 76(1): 91–134.
    Kontchakov, Roman, Pratt-Hartmann, Ian, Wolter, Frank and Zakharyaschev, Michael. 2008. Topology, Connectedness, and Modal Logic.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 151–176. London: College Publications.
    Kracht, Marcus and Wolter, Frank. 1997. Simulation and Transfer Results in Modal Logic: A Survey.” Studia Logica: An International Journal for Symbolic Logic 59(2): 149–177.
    Kurucz, Ágnes, Wolter, Frank and Zakharyaschev, Michael. 2010. Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.” in Advances in Modal Logic, volume VIII, edited by Lev D. Beklemishev, Valentin Goranko, and Valentin Shehtman, pp. 271–291. London: King’s College Publications.
    Kutz, Oliver, Wolter, Frank and Zakharyaschev, Michael. 2002. Connecting Abstract Description Systems.” in KR’02: Principles of Knowledge Representation and Reasoning, edited by Dieter Fensel, Fausto Giunchiglia, Deborah L. McGuinness, and Mary-Anne Williams, pp. 215–226. San Francisco, California: Morgan Kaufmann Publishers.
    Sheremet, M., Tishkovsky, D., Wolter, Frank and Zakharyaschev, Michael. 2006. From Topology to Metric: Modal Logic and Quantification in Metric Spaces.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 429–448. London: King’s College Publications.
    Sturm, Holger and Wolter, Frank. 2001. First-Order Expressivity for S5-Models: Modal Versus Two-Sorted Languages.” The Journal of Philosophical Logic 30(6): 571–591.
    Suzuki, Yasuhito, Wolter, Frank and Zakharyaschev, Michael. 1998. Speaking about Transitive Frames in Propositional Languages.” Journal of Logic, Language, and Information 7(3): 317–339.
    Wolter, Frank. 1995. The Finite Model Property in Tense Logic.” The Journal of Symbolic Logic 60(3): 757–774.
    Wolter, Frank. 1997. A Note on the Interpolation Property in Tense Logic.” The Journal of Philosophical Logic 26(3): 545–551.
    Wolter, Frank. 1998a. On Logics with Coimplication.” The Journal of Philosophical Logic 27(4): 353–387.
    Wolter, Frank. 1998b. Fusions of Modal Logics Revisited.” in Advances in Modal Logic, volume I, edited by Marcus Kracht, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 361–379. Stanford, California: CSLI Publications.
    Wolter, Frank. 2000. First Order Common Knowledge Logics.” Studia Logica: An International Journal for Symbolic Logic 65: 249–271.
    Wolter, Frank, Wansing, Heinrich Theodor, de Rijke, Maarten and Zakharyaschev, Michael, eds. 2002. Advances in Modal Logic. vol. III. Singapore: World Scientific Publishing Co.
    Wolter, Frank and Zakharyaschev, Michael. 1998. Satisfiability Problem in Description Logics with Modal Operators.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 512–523. San Francisco, California: Morgan Kaufmann Publishers.
    Wolter, Frank and Zakharyaschev, Michael. 1999. Intuitionistic Modal Logic.” in Logic and Foundation of Mathematics, edited by Andrea Cantini, Ettore Casari, and Pierluigi Minari, pp. 227–238. Synthese Library n. 280. Dordrecht: Kluwer Academic Publishers.
    Wolter, Frank and Zakharyaschev, Michael. 2000a. Spatio-Temporal Representation and Reasoning based on RCC-8.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 3–14. San Francisco, California: Morgan Kaufmann Publishers.
    Wolter, Frank and Zakharyaschev, Michael. 2000b. Dynamic Description Logics.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 449–463. Stanford, California: CSLI Publications.
    Wolter, Frank and Zakharyaschev, Michael. 2001. Decidable Fragments of First-Order Modal Logics.” The Journal of Symbolic Logic 66(3): 1415–1438.
    Wolter, Frank and Zakharyaschev, Michael. 2005. A Logic for Metric and Topology.” The Journal of Symbolic Logic 70(3): 795–828.
    Zakharyaschev, Michael, Wolter, Frank and Chagrov, Alexander V. 2001. Advanced Modal Logic.” in Handbook of Philosophical Logic, Volume III, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 83–266. Dordrecht: Springer.