Computational semantics for monadic quantifiers

Journal of Applied Non-Classical Logics

Volumn 8, Issue 1-2, 1998, Pages 107-121

  Mostowski, Marcin ^a  

^a not available   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34247613103     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.1080/11663081.1998.10510934     Document Type: Review

References (11)

1. J. VAN BENTHEM, Essays in Logical Semantics, D. Reidel Publishing Company 1986.
2. J. VAN BENTHEM, "Towards a Computational Semantics", in P. GARDENFORS (ed.), Genemlized Quantifiers, D. Reidel Publishing Company 1987, pp. 31-71.
3. M. KRYNICKI and M. MOSTOWSKI "Quantifiers, Some Problems and Ideas", in M. KRYNICKI, M. MOSTOWSKI, and L. W. SzczERBA ( eds.) Quantifiers: Logics, Models and Computation Volume I, Kluwer Academic Publishers, 1995, pp. 1-19.
4. R. E. LADNER, "Application of Model Theoretic Games to Discrete Linear Orders and Finite Automata", Information and Control 33 (1977), pp. 281-303.
5. P. LINDSTROM, "First order predicate logic with generalized quantifiers", Theoria 32 (1966), pp. 186-195.
6. J. A. MAKOWSKY and Y. B. PNUELI "Computable quantifiers and logics over finite structures", in M. KRYNICKI, M. MOSTOWSKI, a.ncl L.vV. SzczERBA (eds.) Quantifiers: Logics, Models and Computation Volume I, Kluwer Academic Publishers, 1995, pp. 313-357.
7. M. MoSTOWSKI, "Divisibility quantifiers", in Bulletin of the Section of Logic 20, no. 2 (1991), pp. 67-70.
8. M. MOSTOWSKI, "The Logic of Divisibility", to appear in The Journal of Symbolic Logic.
9. M. MOSTOWSKI, "Kwantyfikatory rozgah;zione a. problem formy logicznej", (in Polish, Branched Quantifiers and the Problem of Logical Forms) in Nauka i jěyk, Wydzial Filozofii i Socjologii Uniwersyt.etu Wa.rszawskiego, Warszawa 1994, pp. 201 - 241.
10. J. VAANANEN, "Remarks on generalized quantifiers and second-order logic", in Set Theory and Hierarchy Theory, J. WASZKIEWICZ, A. \VoJCIECHOWSKA, and A. ZARACH (eds.), Prace Naukowe lnst.ytut.u Mat.ematyki Politechniki Wroclawskiej, Wroclaw 1977, pp. 117-123.
11. H. STRAUBING, D. THERIEN, W. THOMAS, "Regular Languages Defined with Generalized Quantifiers", Proc. 15th ICALP 88, T. LEPISTO and A. SALOMAA (eds.) Lee. Notes in Comput. Sci. 317, Springer-Verlag, Berlin 1988, pp. 561-575.