Martin Otto (otto-m)

Contributions to Philosophie.ch

Bibliography

Otto, Martin. 1997. Bounded Variable Logics and Counting. A Study in Finite Models. Lecture Notes in Logic n. 9. Dordrecht: Springer.
Otto, Martin. 2000a. “Epsilon-Logic is More Expressive than First-Order Logic Over Finite Structures.” The Journal of Symbolic Logic 65(4): 1749–1757.
Otto, Martin. 2000b. “An Interpolation Theorem.” The Bulletin of Symbolic Logic 6(4): 447–462.
Otto, Martin. 2001. “Two Variable First-Order Logic over Ordered Domains.” The Journal of Symbolic Logic 66(2): 685–702.
Otto, Martin. 2017. Bounded Variable Logics and Counting: A Study in Finite Models. Lecture Notes in Logic. Cambridge: Cambridge University Press, doi:10.1017/9781316716878.
Otto, Martin and Piro, Robert. 2008. “A Lindstróm characterisation of the guarded fragment and of modal logic with a global modality.” in Advances in Modal Logic, volume VII, edited by Carlos Areces and Robert L. Goldblatt, pp. 273–287. London: College Publications.