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.