108 found
Sort by:
Disambiguations:
Jan Van Eijck [107]Jan van Eijck [1]
  1.  56 DLs
    Hans van Ditmarsch, Jan van Eijck & Yanjing Wang, On the Logic of Lying.
    We look at lying as an act of communication, where (i) the proposition that is communicated is not true, (ii) the utterer of the lie knows that what she communicates is not true, and (iii) the utterer of the lie intends the lie to be taken as truth. Rather than dwell on the moral issues, we provide a sketch of what goes on logically when a lie is communicated. We present a complete logic of manipulative updating, to analyse the effects (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2.  49 DLs
    Jan van Eijck, Formal Concept Analysis and Lexical Semantics.
    To ascertain that a formalization of the intuitive notion of a ‘concept’ is linguistically interesting, one has to check whether it allows to get a grip on distinctions and notions from lexical semantics. Prime candidates are notions like ‘prototype’, ‘stereotypical attribute’, ‘essential attribute versus accidental attribute’, ‘intension versus extension’. We will argue that although the current paradigm of formal concept analysis as an application of lattice theory is not rich enough for an analysis of these notions, a lattice theoretical approach (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  3.  39 DLs
    Jan van Eijck & Albert Visser, Stanford Encyclopedia of Philosophy.
    Notice: This PDF version was distributed by request to members of the Friends of the SEP Society and by courtesy to SEP content contributors. It is solely for their fair use. Unauthorized distribution is prohibited. To learn how to join the Friends of the..
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4.  39 DLs
    Jan van Eijck, Discourse Representation Theory.
    Discourse Representation Theory is a specific name for the work of Hans Kamp in the area of dynamic interpretation of natural language. Also, it has gradually become a generic term for proposals for dynamic interpretation of natural language in the same spirit. These proposals have in common that each new sentence is interpreted in terms of the contribution it makes to an existing piece of interpreted discourse. The interpretation conditions for sentences are given as instructions for updating the representation of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  5.  37 DLs
    Jan van Eijck, A Conversation with Wittgenstein.
    Thinking about Martin Stokhof as a philosopher and colleague, his formal analysis (together with Jeroen Groenendijk) of questions and question answering is the first thing that comes to mind. This work is part of a fruitful tradition that has recently spawned inquisitive semantics, and the focus on question answering in dynamic epistemic logic. The theme is still very much alive at ILLC today. Next, I am reminded of the dynamic turn in natural language semantics, of the way he and Jeroen (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  6.  36 DLs
    Jan van Eijck, There Are Some Questions That Can't Be Answered by Logic.
    • Relational logic = First Order Logic plus Relational Operators. • Most relational operations are expressible in first order logic, but not all of them.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  7.  34 DLs
    Jan van Eijck, Collective Rational Action: Is It Possible?
    Individual rational action consists of (i) knowing what you want, (ii) taking proper steps to approach what you want as closely as possible, within the confines of the law. This one can learn, although some people are more skilled in it than others. Modern democracies are set up in such a way that they leave as much room as possible for individual rational action. Education for citizenship is sometimes taken to be: getting young citizens acquainted with the legal possibilities for (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  8.  31 DLs
    Jan van Eijck & Hans Kamp (1997). Representing Discourse in Context. In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press
    Direct download  
     
    My bibliography  
     
    Export citation  
  9.  31 DLs
    Jan van Eijck, Reducing Dynamic Epistemic Logic to Pdl by Program Transformation.
    We present a direct reduction of dynamic epistemic logic in the spirit of [4] to propositional dynamic logic (PDL) [17, 18] by program transformation. The program transformation approach associates with every update action a transformation on PDL programs. These transformations are then employed in reduction axioms for the update actions. It follows that the logic of public announcement, the logic of group announcements, the logic of secret message passing, and so on, can all be viewed as subsystems of PDL. Moreover, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10.  31 DLs
    Jan van Eijck, Computational Semantics with Functional Programming.
    Almost forty years ago Richard Montague proposed to analyse natural language with the same tools as formal languages. In particular, he gave formal semantic analyses of several interesting fragments of English in terms of typed logic. This led to the development of Montague grammar as a particular style of formal analysis of natural language.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11.  30 DLs
    Jan van Eijck, Dynamic Epistemic Modelling.
    This paper introduces DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas, and so on. The paper implements the reduction of dynamic epistemic logic [16, 2, 3, 1] to PDL given in [12]. The reduction of dynamic epistemic logic to automata PDL from [24] is also discussed and implemented. Epistemic models are minimized under bisimulation, and (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12.  30 DLs
    Jan van Eijck, Yet More Modal Logics of Preference Change and Belief Revision.
    We contrast Bonanno’s ‘Belief Revision in a Temporal Framework’ [15] with preference change and belief revision from the perspective of dynamic epistemic logic (DEL). For that, we extend the logic of communication and change of [11] with relational substitutions [8] for preference change, and show that this does not alter its properties. Next we move to a more constrained context where belief and knowledge can be defined from preferences [29; 14; 5; 7], prove completeness of a very expressive logic of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  13.  29 DLs
    Jan van Eijck, Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision.
    This talk shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent knowledge update and belief revision, or as a logic of preference change, if the basic relations are read as preferences instead of plausibilities. Our point of departure is the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14.  27 DLs
    Jan van Eijck, Computational Semantics, Type Theory, and Functional Programming.
    An emerging standard for polymorphically typed, lazy, purely functional programming is Haskell, a language named after Haskell Curry. Haskell is based on (polymorphically typed) lambda calculus, which makes it an excellent tool for computational semantics.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  15.  25 DLs
    Jan van Eijck & Christina Unger (2007). The Epistemics of Presupposition Projection. In Dekker Aloni (ed.), Proceedings of the Sixteenth Amsterdam Colloquium. 235-240.
    We carry out the Karttunen-Stalnaker pragmatic account of presupposition projection within a state-of-the art version of dynamic epistemic logic. It turns out that the basic projection facts can all be derived from a Gricean maxim ‘be informative’. This sheds light on a recent controversy on the appropriateness of dynamic semantics as a tool for analysing presupposition.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16.  24 DLs
    Jan van Eijck & Yanjing Wang, Propositional Dynamic Logic as a Logic of Belief Revision.
    This paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change (LCC) of [9]. Like LCC, our logic uses PDL as a base epistemic language. Unlike LCC, we start out from agent plausibilities, add their converses, and build knowledge and belief operators from these with the PDL constructs. We extend the update mechanism of LCC to an update mechanism that handles belief (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17.  24 DLs
    Jan van Eijck, Presupposition Failure A Comedy of Errors.
    Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not We rst study presupposition in a very simple framework of updating propo sitional information with examples of how presuppositions of complex propositional updates can be calculated Next we move on to presupposi tions and quanti cation in the context of a dynamic version of predicate logic suitably modi ed to allow for presupposition failure In both the propositional and (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  18.  24 DLs
    Nicola Dimitri & Jan van Eijck, Time Discounting and Time Consistency.
    Time discounting is the phenomenon that a desired result in the future is perceived as less valuable than the same result now. Economic theories can take this psychological fact into account in several ways. In the economic literature the most widely used type of additive time discounting is exponential discounting. In exponential discounting, the fall of valuation depends by a constant factor on the length of the delay period. It is well known, however, that exponential time discounting often does not (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  19.  23 DLs
    Jan van Eijck, NLP, Philosophy, and Logic.
    In this tutorial, the meaning of natural language is analysed along the lines proposed by Gottlob Frege and Richard Montague. In building meaning representations, we assume that the meaning of a complex expression derives from the meanings of its components. Typed logic is a convenient tool to make this process of composition explicit. Typed logic allows for the building of semantic representations for formal languages and fragments of natural language in a compositional way. The tutorial ends with the discussion of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  20.  22 DLs
    Hans van Ditmarsch & Jan van Eijck (2010). Verifying One Hundred Prisoners and a Lightbulb. Journal of Applied Non-Classical Logics 20 (3):173-191.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  21.  22 DLs
    Jan van Eijck, Parser Combinators for Extraction.
    Dislocation phenomena in natural language can be, and often are, thought of as the effects of movement transformations. We propose to handle these phenomena in terms of parser combinators [3, 8] that transform recursive descent parsers for a ‘deep structure language’ into parsers for a ‘surface structure language’. This combinator approach to extraction keeps close to the ‘movement’ intuition and gives a computational account of the well known island constraints on extraction first proposed in [7].
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22.  20 DLs
    Yanjing Wang & Jan van Eijck, Logic of Information Flow on Communi- Cation Channels.
    In this paper1, we develop an epistemic logic to specify and reason about the information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our logic to the standard DEL and IS..
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  23.  20 DLs
    Jan van Eijck, Common Knowledge and Common Ground.
    We sketch recent insights in dynamic epistemic logic and use them to shed new light on old ideas about common knowledge as a prerequisite for linguistic communication.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  24.  19 DLs
    Jan van Eijck, Deductive Parsing in Haskell.
    This paper contains the full code of an implementation in Haskell [2], in ‘literate programming’ style [3], of an approach to deductive parsing based on [4]. We focus on the case of the Earley [1] parsing algorithm for CF languages.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  25.  19 DLs
    Jan van Eijck (2012). Action Emulation. Synthese 185 (1):131-151.
    The effects of public announcements, private communications, deceptive messages to groups, and so on, can all be captured by a general mechanism of updating multi-agent models with update action models, now in widespread use. There is a natural extension of the definition of a bisimulation to action models. Surely enough, updating with bisimilar action models gives the same result (modulo bisimulation). But the converse turns out to be false: update models may have the same update effects without being bisimilar. We (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  26.  19 DLs
    Jan van Eijck, Science as Art.
    • Causing a jump from nothingness to being. • The description conveys that there is tension. something is not there, and I want it to be there. I struggle to force it into existence.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  27.  19 DLs
    Jan van Eijck, An Inference Engine with a Natural Language Interface.
    ‘all A are B’ ; A ⊆ B ‘no A are B’ ; A ⊆ B ‘some A are not B’ ; A ⊆ B ‘some A are B’ ; A ⊆ B (equivalently: A ∩ B = ∅). A knowledge base is a list of triples (Class1, Class2, Boolean) where (A, B, ) expresses that A ⊆ B, and (A, B, ⊥) expresses that A ⊆ B.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  28.  18 DLs
    Jan van Eijck, A Program for Computational Semantics.
    Just as war can be viewed as continuation of diplomacy using other means, computational semantics is continuation of logical analysis of natural language by other means. For a long time, the tool of choice for this used to be Prolog. In our recent textbook we argue (and try to demonstrate by example) that lazy functional programming is a more appropriate tool. In the talk we will lay out a program for computational semantics, by linking computational semantics to the general analysis (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  29.  18 DLs
    Jan van Eijck, Comments on 'Modal Fixed Point Logic and Changing Models'.
    This is indeed a very nice draft that I have read with great pleasure, and that has helped me to better understand the completeness proof for LCC. Modal fixed point logic allows for an illuminating new version (and a further extension) of that proof. But still. My main comment is that I think the perspective on substitutions in the draft paper is flawed. The general drift of the paper is that relativization, (predicate) substitution and product update are general operations on (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  30.  18 DLs
    Jan van Eijck & Fer-Jan de Vries (1995). Reasoning About Update Logic. Journal of Philosophical Logic 24 (1):19-45.
    Logical frameworks for analysing the dynamics of information processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off.This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31.  18 DLs
    van Benthem, Johan, van Eijck, Jan & Kooi, Barteld, Logics of Communication and Change.
    Current dynamic epistemic logics for analyzing effects of informational events often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions involving common knowledge are essential to successful multi-agent communication. We propose new systems that extend the epistemic base language with a new notion of ‘relativized common knowledge’, in such a way that the resulting full dynamic logic of information flow allows for a compositional analysis of all epistemic postconditions via perspicuous ‘reduction axioms’. We also (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32.  18 DLs
    Jan van Eijck & Joost Zwarts, Formal Concept Analysis and Prototypes.
    Categorization is probably one of the most central areas in the study of cognition, language and information. However, there is a serious gap running through the semantic treatments of categories and concepts [3]. On one side we find the ’classical’, formal approach, based on logical considerations, that has lent itself well for computational applications. In this approach, concepts are defined in terms of necessary and sufficient conditions. On the other side is an informal approach to categorization that is usually motivated (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  33.  17 DLs
    Jan van Eijck, Multi-Agent Belief Revision with Linked Plausibilities.
    In [11] it is shown how propositional dynamic logic (PDL) can be interpreted as a logic of belief revision that extends the logic of communication and change (LCC) given in [7]. This new version of epistemic/doxastic PDL does not impose any constraints on the basic relations and because of this it does not suffer from the drawback of LCC that these constraints may get lost under updates that are admitted by the system. Here, we will impose one constraint, namely that (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  34.  17 DLs
    Jan van Eijck, Types of Relations.
    Many arguments for flexible type assignment to syntactic categories have to do with the need to account for the various scopings resulting from the interaction of quantified DPs with other quantified DPs or with intensional or negated verb contexts. We will define a type for arbitrary arity relations in polymorphic type theory. In terms of this, we develop the Boolean algebra of relations as far as needed for natural language semantics. The type for relations is flexible: it can do duty (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  35.  17 DLs
    Jan van Eijck, Guarded Actions.
    Guarded actions are changes with preconditions acting as a guard. Guarded action models are multimodal Kripke models with the valuations replaced by guarded actions. Call guarded action logic the result of adding product updates with guarded action models to PDL (propositional dynamic logic). We show that guarded action logic reduces to PDL.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36.  16 DLs
    Jan van Eijck (2001). Incremental Dynamics. Journal of Logic, Language and Information 10 (3):319-351.
    A new system of dynamic logic is introduced and motivated, witha novel approach to variable binding for incremental interpretation. Thesystem is shown to be equivalent to first order logic and complete.The new logic combines the dynamic binding idea from DynamicPredicate Logic with De Bruijn style variable free indexing. Quantifiersbind the next available variable register; the indexing mechanismguarantees that active registers are never overwritten by newquantifiers actions. Apart from its interest in its own right, theresulting system has certain advantages over Dynamic (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  37.  16 DLs
    Hans van Ditmarsch & Jan van Eijck, One Hundred Prisoners and a Lightbulb — the Logic.
    We model the ‘100 prisoners and a lightbulb’ puzzle in an epistemic logic incorporating dynamic operators for the effects of information changing events. Such events include both informative actions, where agents become more informed about the non-changing state of the world, and factual changes, wherein the world and the facts describing it change themselves as well. We specify the underlying nondeterministic protocol and verify its postconditions in a recent extension of the model checker DEMO with factual change. We also present (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  38.  16 DLs
    Jan van Eijck, Border Crossings.
    It is well established by now that computer science has a number of concerns in common with natural language understanding. Common themes show up in particular with algorithmic aspects of text processing. This chapter gives an overview of border crossings from NLP to CS and back. Starting out from syntactic analysis, we trace our route via a philosophical puzzle about meaning, Hoare correctness rules for dynamic semantics, error state analysis of presupposition, equational reasoning about state change, programming with frameworks originally (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  39.  16 DLs
    Jan van Eijck, Context and the Composition of Meaning.
    Key ingredients in discourse meaning are reference markers: objects in the formal representation that the discourse is about. It is well-known that reference markers are not like first order variables. Indeed, it is the received view that reference markers are like the variables in imperative programming languages. However, in a computational semantics of discourse that treats reference markers as ‘dynamically bound’ variables, every noun phrase will get linked to a dynamic variable, so it will give rise to a marker index. (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  40.  16 DLs
    Jan van Eijck, Constrained Hyper Tableaux.
    Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper tableaux are a generalization of hyper tableaux, where branch closing substitutions, from the point of view of model generation, give rise to constraints on satisfying assignments for the branch. These variable constraints eliminate the need for the awkward ‘purifying substitutions’ of hyper tableaux. The paper presents a non-destructive and proof confluent calculus for (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  41.  15 DLs
    Jan van Eijck (2010). The Language of Social Software. Synthese 177 (1):77-96.
    Computer software is written in languages like C, Java or Haskell. In many cases social software is expressed in natural language. The paper explores connections between the areas of natural language analysis and analysis of social protocols, and proposes an extended program for natural language semantics, where the goals of natural language communication are derived from the demands of specific social protocols.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  42.  15 DLs
    Jan van Eijck, Modelling the Epistemics of Communication with Functional Programming.
    Dynamic epistemic logic is the logic of the effects of epistemic actions like making public announcements, passing private messages, revealing secrets, telling lies. This paper takes its starting point from the version of dynamic epistemic logic of [2], and demonstrates a tool that can be used for showing what goes on during a series of epistemic updates: the dynamic epistemic modelling tool DEMO [7, 9]. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  43.  14 DLs
    Johan van Benthem, Hans van Ditmarsch & Jan van Eijck, Logica in Actie.
    Meer informatie over de uitgaven van Sdu Uitgevers en Academic Service kunt u verkrijgen bij: Sdu Klantenservice Postbus 20014 2500 EA Den Haag tel.: (070) 378 98 80 www.sdu.nl/service..
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  44.  13 DLs
    Jan van Eijck, Natural Logic for Natural Language.
    We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the definition of monotonicity preserving and monotonicity reversing functions in terms of ≤. Next, we present a new algorithm for polarity marking, and implement this for a particular fragment of syntax. Finally, we list the reseach agenda that these definitions and this algorithm suggest. The implementations use Haskell [8], and are (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  45.  13 DLs
    Jan van Eijck, Deductive Parsing with Sequentially Indexed Grammars.
    This paper extends the Earley parsing algorithm for context free languages [3] to the case of sequentially indexed languages. Sequentially indexed languages are related to indexed languages [1, 2]. The difference is that parallel processing of index stacks is replaced by sequential processing [4].
    Direct download  
     
    My bibliography  
     
    Export citation  
  46.  13 DLs
    Jan van Eijck, Determined Game Logic is Complete.
    Non-determined game logic is the logic of two player board games where the game may end in a draw: unlike the case with determined games, a loss of one player does not necessarily constitute of a win of the other player. A calculus for non-determined game logic is given in [4] and shown to be complete. The calculus adds a new rule for the treatment of greatest fixpoints, and a new unfolding axiom for iterations of the universal player. The technique (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  47.  13 DLs
    Jan van Eijck, Sequentially Indexed Grammars.
    This paper defines the grammar class of sequentially indexed grammars. Sequentially indexed grammars are the result of a change in the index stack handling mechanism of indexed grammars [Aho68, Aho69]. Sequentially indexed grammars are different from linear indexed grammars [Gaz88]. Like indexed languages, sequentially indexed languages are a fully abstract language class. Unlike indexed languages, sequentially indexed languages allow polynomial parsing algorithms. We give a polynomial algorithm for parsing with sequentially indexed gramamrs that is an extension of the Earley algorithm (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48.  13 DLs
    Jan van Eijck, Multi-Agent Belief Revision with Linked Preferences.
    In this paper we forge a connection between dynamic epistemic logics of belief revision on one hand and studies of collective judgement and multi-agent preference change on the other. Belief revision in the spirit of dynamic epistemic logic uses updating with relational substitutions to change the beliefs of individual agents. Collective judgement in social choice theory studies the collective outcomes of individual belief changes. We start out from the logic of communication and change (LCC), which is basically epistemic propositional dynamic (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  49.  12 DLs
    Johan van Benthem & Jan van Eijck (1982). The Dynamics of Interpretation. Journal of Semantics 1 (1):3-20.
    In current semantic theory compositional interpretations are assumed to go from linguistic items to their denotations in some model. This perspective still leaves room for a more dynamical account of how such interpretations are actually created. One natural idea is to assume that each sentence in a discourse is understood through some representation, ‘mediating’ between the language and its models. Thus, the old relation of interpretation splits up into two new ones, viz. that between linguistic items and their representations, and (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  50.  12 DLs
    Jan van Eijck, The Dynamics of Communication.
    Logics of communication should provide accounts of changes in the state of information of a group of discourse participants, on the basis of message exchanged within the group. We will give an overview of the way this is done in dynamic epistemic logics, focussing on a number of different types of informative actions with their epistemic effects, and indicating the relevance of this work for semantics and pragmatics of natural language. At the end of the talk we will sketch a (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 108