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

Albert Visser (visser-a)

My contributions to Philosophie.ch

No contributions yet

Bibliography

    van Eijck, Jan and Visser, Albert, eds. 1994a. Logic and Information Flow. Cambridge, Massachusetts: The MIT Press.
    van Eijck, Jan and Visser, Albert. 1994b. Logic and Information Flow.” in Logic and Information Flow, edited by Jan van Eijck and Albert Visser, pp. 1–14. Cambridge, Massachusetts: The MIT Press.
    Eijck, Jan van and Visser, Albert. 2010. Dynamic Semantics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2010/entries/dynamic-semantics/.
    Enayat, Ali and Visser, Albert. 2015. New Constructions of Satisfaction Classes.” in Unifying the Philosophy of Truth, edited by Theodora Achourioti, Henri Galinon, José Martı́nez Fernández, and Kentaro Fujimoto, pp. 321–337. Logic, Epistemology, and the Unity of Science n. 36. Cham: Springer.
    Grabmayer, Clemens, Leo, Joop, Van Oostrom, Vincent and Visser, Albert. 2011. On the Termination of Russell’s Description Elimination Algorithm.” The Review of Symbolic Logic 4(3): 367–393.
    Hollenberg, Marco and Visser, Albert. 1999. Dynamic Negation, the One and Only.” Journal of Logic, Language, and Information 8(2): 137–141.
    Janssen, Maarten and Visser, Albert. 2004. Some Words on Word.” La Nuova Critica 43–44: 71–95.
    de Jongh, Dick H. J. and Visser, Albert. 1991. Explicit Fixed Points in Interpretability Logic.” Studia Logica: An International Journal for Symbolic Logic 50: 39–49.
    Joosten, Joost J. and Visser, Albert. 2000. The Interpretability Logic of All Reasonable Arithmetical Theories.” Erkenntnis 53: 3–26.
    Muskens, Reinhard, van Benthem, Johan and Visser, Albert. 1997. Dynamics.” in Handbook of Logic and Language, edited by Johan van Benthem and Alice G. B. ter Meulen, pp. 587–647. Amsterdam: Elsevier Science Publishers B.V. Second edition: van Benthem and ter Meulen (2011).
    Muskens, Reinhard, van Benthem, Johan and Visser, Albert. 2011. Dynamics.” in Handbook of Logic and Language, edited by Johan van Benthem and Alice G. B. ter Meulen, 2nd ed., pp. 607–670. Amsterdam: Elsevier Science Publishers B.V. First edition: Muskens, van Benthem and Visser (1997).
    Nouwen, Rick W. F., Brasoveanu, Adrian, Eijck, Jan van and Visser, Albert. 2016. Dynamic Semantics.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2016/entries/dynamic-semantics/.
    Vermeulen, Cees F. M. and Visser, Albert. 1996. Dynamic Bracketing and Discourse Representation.” Notre Dame Journal of Formal Logic 37: 321–365.
    Visser, Albert. 1980. Numerations, \(\lambda\)-Calculus and Arithmetic.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 259–284. New York: Academic Press.
    Visser, Albert. 1984a. Four Valued Semantics and the Liar.” The Journal of Philosophical Logic 13(2): 181–212.
    Visser, Albert. 1984b. The Provability Logic of Recursively Enumerable Theories Extending Peano Arithmetic at Arbitrary Theories Extending Peano Arithmetic.” The Journal of Philosophical Logic 13(1): 97–113.
    Visser, Albert. 1987. A Course in Bimodal Provability Logic.” 20. logic group preprint series. Utrecht: Department of Philosophy, University of Utrecht.
    Visser, Albert. 1989. Semantics and the Liar Paradox.” in Handbook of Philosophical Logic, Volume IV: Topics in the Philosophy of Language, edited by Dov M. Gabbay and Franz Guenthner, pp. 617–706. Synthese Library n. 167. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as Visser (2004a), doi:10.1007/978-94-009-1171-0.
    Visser, Albert. 1991. The Formalization of Interpretability.” Studia Logica: An International Journal for Symbolic Logic 50: 81–105.
    Visser, Albert. 1994. Actions under Presuppositions.” in Logic and Information Flow, edited by Jan van Eijck and Albert Visser, pp. 196–233. Cambridge, Massachusetts: The MIT Press.
    Visser, Albert. 1997. Dynamic Relation Logic Is the Logic of DPL-Relations.” Journal of Logic, Language, and Information 6(4): 441–452.
    Visser, Albert. 1998a. Contexts in Dynamic Predicate Logic.” Journal of Logic, Language, and Information 7(1): 21–52.
    Visser, Albert. 1998b. An Overview of Interpretability Logic.” in Advances in Modal Logic, volume I, edited by Marcus Kracht, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 307–359. Stanford, California: CSLI Publications.
    Visser, Albert. 2001. Submodels of Kripke Models.” Archive for Mathematical Logic 40: 277–295.
    Visser, Albert. 2002. The Donkey and the Monoid: Dynamic Semantics with Control Elements.” Journal of Logic, Language, and Information 11(1): 107–131.
    Visser, Albert. 2004a. Semantics and the Liar Paradox.” in Handbook of Philosophical Logic, Volume XI, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 149–240. Dordrecht: Springer. First publication as Visser (1989).
    Visser, Albert. 2004b. What Makes Expressions Meaningful? A Reflection on Contexts and Actions.” in One Hundred Years of Russell’s Paradox. Mathematics, Logic, Philosophy, edited by Godehard Link, pp. 625–644. de Gruyter Series in Logic and Its Applications n. 6. Berlin: de Gruyter.
    Visser, Albert. 2011. Hume’s Principle, Beginnings.” The Review of Symbolic Logic 4(1): 114–129.
    Visser, Albert. 2012. A Tractarian Universe.” The Journal of Philosophical Logic 41(3): 519–545.