26 found
Order:
See also
Frank Veltman
University of Amsterdam
  1. Defaults in Update Semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
    The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   251 citations  
  2. Logics for Conditionals.Frank Veltman - 1987 - Studia Logica 46 (2):206-207.
  3. Coreference and Modality.Martin Stokhof, Jeroen Groenendijk & Frank Veltman - 1996 - In Shalom Lappin (ed.), Handbook of Contemporary Semantic Theory. Blackwell. pp. 179-216.
    Of course, although this view on meaning was the prevailing one for almost a century, many of the people who initiated the enterprise of logical semantics, including people like Frege and Wittgenstein, had an open eye for all that it did not catch. However, the logical means which Frege, Wittgenstein, Russell, and the generation that succeeded them, had at their disposal were those of classical mathematical logic and set-theory, and these indeed are not very suited for an analysis of other (...)
     
    Export citation  
     
    Bookmark   60 citations  
  4. Coreference and Modality.Frank Veltman - unknown
    Of course, although this view on meaning was the prevailing one for almost a century, many of the people who initiated the enterprise of logical semantics, including people like Frege and Wittgenstein, had an open eye for all that it did not catch. However, the logical means which Frege, Wittgenstein, Russell, and the generation that succeeded them, had at their disposal were those of classical mathematical logic and set-theory, and these indeed are not very suited for an analysis of other (...)
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  5. Making Counterfactual Assumptions.Frank Veltman - 2005 - Journal of Semantics 22 (2):159-180.
    This paper provides an update semantics for counterfactual conditionals. It does so by giving a dynamic twist to the ‘Premise Semantics’ for counterfactuals developed in Veltman (1976) and Kratzer (1981). It also offers an alternative solution to the problems with naive Premise Semantics discussed by Angelika Kratzer in ‘Lumps of Thought’ (Kratzer, 1989). Such an alternative is called for given the triviality results presented in Kanazawa et al. (2005, this issue).
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  6. Provability Logics for Relative Interpretability.Frank Veltman & Dick De Jongh - 1990 - In Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School. New York, NY, USA: pp. 31-42.
    In this paper the system IL for relative interpretability is studied.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  7.  77
    An Update on “Might”.Jaap van der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
    This paper is on the update semantics for might of Veltman. Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  8.  17
    An Update on "Might'".Jaap van Der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
    This paper is on the update semantics for might of Veltman. Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  9. Modal Completeness of ILW.Dick De Jongh & Frank Veltman - 1999 - In Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.), Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday. Amsterdam University Press.
    This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s ftieth birthday appears to be the right occasion to get it out of our wine cellar.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  76
    Proof Systems for Dynamic Predicate Logic.Frank Veltman - unknown
    The core language can be extended by defining additional logical constants. E.g., we can add ‘→’ (implication), ‘∨’ (disjunction), and ‘∀x’ (universal quantifiers). The choice of logical primitives is not as optional in DPL as it is in standard predicate logic.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. This Might Be It.Frank Veltman, Jeroen Groenendijk & Martin Stokhof - 1996 - In Dag Westerstahl & Jeremy Seligman (eds.), Language, Logic, and Computation: the 1994 Moraga Proceedings. CSLI. pp. 255--70.
    Discussions often end before the issues that started them have been resolved. For example, in the late sixties and early seventies, a hot topic in philosophical logic was the development of an adequate semantics for the language of modal predicate logic. However, the result of this discussion was not one single system that met with general agreement, but a collection of alternative systems, each defended most ably by its proponents.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Intensional Logics.Dick De Jongh & Frank Veltman - unknown
    This first chapter contains an introduction to modal logic. In section 1.1 the syntactic side of the matter is discussed, and in section 1.2 the subject is approached from a semantic point of view.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  91
    Een Zogenaamde Denkfout.Frank Veltman - unknown
    Bill is 34 years old. He is intelligent, but unimaginative, compulsive and generally lifeless. In school, he was strong in mathematics but weak in social studies and humanities. Please rank the following statements by their probability, using 1 for the most probable and 8 for the least probable.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  27
    Varieties of Formal Semantics: Proceedings of the Fourth Amsterdam Colloquium, September 1982.Fred Landman & Frank Veltman (eds.) - 1984 - Foris Publications.
    Some Generalizations of Categorical Grammars Emmon Bach 0. INTRODUCTION The last decade of work in syntax has seen a marked demotion in the importance of ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Making the Right Exceptions.Harald Bastiaanse & Frank Veltman - 2016 - Artificial Intelligence 238:96-118.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  21
    Tasting and testing.Inés Crespo & Frank Veltman - 2019 - Linguistics and Philosophy 42 (6):617-653.
    Our main concern in this paper is the semantics of predicates of personal taste. However, in order to see these predicates in the right perspective, we had to broaden the scope to the wider class of relative gradable adjectives. We present an analysis of the meaning of these adjectives in the framework of update semantics. In this framework the meaning of a sentence is not identified with its truth conditions, but with its impact on people’s intentional states. In this respect, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Coreference and Modality in Multi-Speaker Discourse.Jeroen Groenendijk, Martin Stokhof & Frank Veltman - 1997 - In Hans Kamp & Barbara Partee (eds.), Context-Dependence in the Analysis of Linguistic Meaning. Ims. pp. 195--217.
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  18.  32
    Introduction.John Horty & Frank Veltman - 2015 - Journal of Philosophical Logic 44 (6):593-594.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Varieties of Formal Semantics: Proceedings of the Fourth Amsterdam Colloquium.Fred Landman & Frank Veltman (eds.) - 1984 - Foris.
    No categories
     
    Export citation  
     
    Bookmark  
  20.  90
    Coreference and Contextually Restricted Quantification.Frank Veltman - unknown
    The aim of this paper is to argue that update semantics is a natural framework for contextually restricted quantification, and to illustrate its use in the analysis of anaphoric definite descriptions and certain other anaphoric terms.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  91
    Coreference and Modality in the Context of Multi-Speaker Discourse.Frank Veltman - unknown
    Update semantics1 embodies a radical view on the relation between context and interpretation. The meaning of a sentence is identified with its context change potential, where contexts are identified with information states. The recursive definition of semantic interpretation is stated in terms of a process of updating an information state with a sentence. Meanings of sentences, then, are update functions. In general, these are partial functions, since the possibility to update with a sentence may depend on the fulfillment of certain (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  61
    Changez le contexte!Frank Veltman, Jeroen Groenendijk & Martin Stokhof - 1996 - Langage 123:08-29.
    a la base de cet article a ´ et´ e pr´ esent´ ee ` a la cinqui` eme ‘Conference on Semantics and Linguistic Theory’ qui s’est tenue ` a Austin, Texas, en F´ evrier 1995, et va paraˆıtre dans les actes de celle-ci. Nous aimerions remercier les participants `.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. Het Verschil Tussen Vaag En Niet Precies.Frank Veltman - unknown
    Voorzover het maken van kopieën uit deze uitgave is toegestaan op grond van artikel 16B Auteurswet 1912 j0 het Besluit van 20 juni 1974, St.b. 351, zoals gewijzigd bij het Besluit van 23 augustus 1985, St.b. 471 en artikel 17 Auteurswet 1912, dient men de daarvoor wettelijk verschuldigde vergoedingen te voldoen aan de Stichting Reprorecht (Postbus 882, 1180 AW Amstelveen). Voor het overnemen van gedeelte(n) uit deze uitgave in bloemlezingen, readers en andere compilatiewerken (artikel 16 Auteurswet 1912) dient men zich (...)
     
    Export citation  
     
    Bookmark  
  24.  26
    Review: Raymond Turner, Counterfactuals Without Possible Worlds. [REVIEW]Frank Veltman - 1985 - Journal of Symbolic Logic 50 (2):556-557.
  25.  12
    Raymond Turner. Counterfactuals Without Possible Worlds. Journal of Philosophical Logic, Vol. 10 , Pp. 453–493.Frank Veltman - 1985 - Journal of Symbolic Logic 50 (2):556-557.
  26.  24
    Semántica de actualización.Frank Veltman - 1991 - Revista de Filosofía (Madrid) 6:271.
    No categories
    Direct download (6 more)  
    Translate
     
     
    Export citation  
     
    Bookmark