109 found
Order:
Disambiguations:
Jan Van Eijck [108]Jan van Eijck [1]
  1.  32
    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
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   35 citations  
  2.  19
    Barteld Kooi, Jan van Eijck & Johan van Benthem, 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
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   35 citations  
  3.  51
    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)  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  79
    Jan van Eijck & Hans Kamp (1997). Representing Discourse in Context. In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  26
    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
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  24
    Hans van Ditmarsch & Jan van Eijck, One Hundred Prisoners and a Lightbulb — Logic and Computation.
    This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know, how their knowledge changes due to observations, and how they affect the state of the world by changing facts, i.e., by their actions. These actions depend on the history of previous actions and observations. Part of its interest is that all actions are local, i.e. not publicly observable, and part of the problem (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  64
    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
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  5
    Johan van Benthem, Jan van Eijck & Vera Stebletsova, Modal Logic, Transition Systems and Processes.
    Transition systems can be viewed either as process diagrams or as Kripke structures. The rst perspective is that of process theory, the second that of modal logic. This paper shows how various formalisms of modal logic can be brought to bear on processes. Notions of bisimulation can not only be motivated by operations on transition systems, but they can also be suggested by investigations of modal formalisms. To show that the equational view of processes from process algebra is closely related (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  9.  44
    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 (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  41
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  2
    Jan Van Eijck & Fer-Jan De Vries (1992). Dynamic Interpretation and Hoare Deduction. Journal of Logic, Language and Information 1 (1):1-44.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  12.  24
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  13.  31
    Jan Van Eijck (1997). Book Review. [REVIEW] Journal of Logic, Language and Information 6 (3):339-341.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  18
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
  15.  79
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  37
    Jan van Eijck, Perception and Change in Update Logic.
    Three key ways of updating one’s knowledge are (i) perception of states of affairs, e.g., seeing with one’s own eyes that something is the case, (ii) reception of messages, e.g., being told that something is the case, and (iii) drawing new conclusions from known facts. If one represents knowledge by means of Kripke models, the implicit assumption is that drawing conclusions is immediate. This assumption of logical omniscience is a useful abstraction. It leaves the distinction between (i) and (ii) to (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  17.  36
    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
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  26
    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  
     
    Export citation  
     
    My bibliography   1 citation  
  19.  22
    Jan van Eijck, HyLoTab — Tableau-Based Theorem Proving for Hybrid Logics.
    This paper contains the full code of a prototype implementation in Haskell [5], in ‘literate programming’ style [6], of the tableau-based calculus and proof procedure for hybrid logic presented in [4].
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  20.  54
    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  
     
    Export citation  
     
    My bibliography   1 citation  
  21.  23
    Balder ten Cate & Jan van Eijck, Expressivity of Extensions of Dynamic First-Order Logic.
    Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  22.  37
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  36
    Jan van Eijck, Normal Forms for Characteristic Functions on N-Ary Relations.
    Functions of type n are characteristic functions on n-ary relations. Keenan [5] established their importance for natural language semantics, by showing that natural language has many examples of irreducible type n functions, i.e., functions of type n that cannot be represented as compositions of unary functions. Keenan proposed some tests for reducibility, and Dekker [3] improved on these by proposing an invariance condition that characterizes the functions with a reducible counterpart with the same behaviour on product relations. The present paper (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24.  24
    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)  
     
    Export citation  
     
    My bibliography   3 citations  
  25.  17
    Jan van Eijck, Epistemic Verification of Anonymity.
    Model checking techniques for communication protocols usually are phrased in terms of processes, basically labelled arcs in a labelled transition system. We propose to lift checking for such protocols to a more abstract level by analysing the protocols as composite communicative actions, with a communicative action viewed as a mapping on an appropriate class of epistemic models. As an example, we analyse an anonymous broadcast protocol (Chaum’s well-known dining cryptographers protocol) and an electronic voting protocol.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  26.  30
    Jan van Eijck, APPENDIX — The Functional Approach To Parsing.
    No index information on NPs, except for pronouns. Otherwise, virtually the same as a datatype declaration for a fragment of dynamic Montague grammar. The module Cat imports the standard List module. Lists will be employed to implement a simple feature agreement mechanism.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  27.  14
    Jan van Eijck (1993). The Dynamics of Description. Journal of Semantics 10 (3):239-267.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  21
    Jan van Eijck, The Gamut of Dynamic Logics.
    Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks and by describing the results of performing actions in given states of the world. The actions studied by dynamic logic can be of various kinds: actions on the memory state of a computer, actions of a moving robot in a closed world, interactions between cognitive agents performing given communication protocols, actions that change the common ground between speaker and hearer in a conversation, (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  29. 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
     
     
    Export citation  
     
    My bibliography  
  30.  62
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  31.  54
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  32.  48
    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
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  58
    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)  
     
    Export citation  
     
    My bibliography  
  34.  56
    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)  
     
    Export citation  
     
    My bibliography  
  35.  59
    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  
     
    Export citation  
     
    My bibliography  
  36.  43
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  37.  52
    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)  
     
    Export citation  
     
    My bibliography  
  38.  40
    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)  
     
    Export citation  
     
    My bibliography  
  39.  49
    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)  
     
    Export citation  
     
    My bibliography  
  40.  47
    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  
     
    Export citation  
     
    My bibliography  
  41.  36
    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 (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  42.  9
    Jan van Eijck, A First Order Axiomatisation of Least Fixpoint on Finite Models.
    Let R be a relational variable of arity m, and let ¯ x be an m-tuple of variables. Let φ be a first order formula that is positive in R, i.e., all occurrences of R in φ are in the scope of an even number of negations. Then λRλ¯.
    Direct download  
     
    Export citation  
     
    My bibliography  
  43.  44
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  44.  45
    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)  
     
    Export citation  
     
    My bibliography  
  45.  43
    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  
     
    Export citation  
     
    My bibliography  
  46.  27
    Balder ten Cate & Jan van Eijck, Expressivity of Extensions of Dynamic First-Order Logic.
    Dynamic predicate logic (DPL), presented in [5] as a formalism for representing anaphoric linking in natural language, can be viewed as a fragment of a well known formalism for reasoning about imperative programming [6]. An interesting difference from other forms of dynamic logic is that the distinction between formulas and programs gets dropped: DPL formulas can be viewed as programs. In this paper we show that DPL is in fact the basis of a hierarchy of formulas-as-programs languages.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  47.  38
    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)  
     
    Export citation  
     
    My bibliography  
  48.  27
    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  
     
    Export citation  
     
    My bibliography  
  49.  27
    Jan van Eijck, About Testing and Specification . . . And About First Order Logic.
    to a number of issues related to testing and specification. Brief review of first order logic. Use of first order logic for specification, in the specification tool Alloy.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50.  37
    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  
     
    Export citation  
     
    My bibliography  
1 — 50 / 109