112 found
Order:
Disambiguations
Jan Van Eijck [112]Jan van Eijck [1]
See also
  1.  71
    Logics of Communication and Change. van Benthem, Johan, van Eijck, Jan & Kooi, Barteld - unknown
    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 (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   87 citations  
  2.  93
    Representing Discourse in Context.Jan van Eijck & Hans Kamp - 1997 - In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press.
    Direct download  
     
    Export citation  
     
    Bookmark   18 citations  
  3. Propositional Dynamic Logic as a Logic of Belief Revision Vol. 5110 Lnai.Jan van Eijck & Yanjing Wang - 2008
    This paper shows how propositional dynamic logic can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication and change 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 change as (...)
     
    Export citation  
     
    Bookmark   6 citations  
  4.  60
    Incremental Dynamics.Jan van Eijck - 2001 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5. On the Logic of Lying.Hans van Ditmarsch, Jan van Eijck & Yanjing Wang - unknown
    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 (...)
     
    Export citation  
     
    Bookmark   6 citations  
  6.  96
    Action Emulation.Jan van Eijck - 2012 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  7. Natural Logic for Natural Language.Jan van Eijck - manuscript
    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 (...)
     
    Export citation  
     
    Bookmark   6 citations  
  8. Computational Semantics with Functional Programming.Jan van Eijck - unknown
    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
     
     
    Export citation  
     
    Bookmark   5 citations  
  9.  21
    Dynamic Interpretation and Hoare Deduction.Jan Van Eijck & Fer-Jan De Vries - 1992 - Journal of Logic, Language and Information 1 (1):1-44.
  10. Stanford Encyclopedia of Philosophy.Jan van Eijck & Albert Visser - unknown
    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
     
     
    Export citation  
     
    Bookmark   3 citations  
  11. Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
    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
     
     
    Export citation  
     
    Bookmark   4 citations  
  12. Logic of Information Flow on Communi- Cation Channels.Yanjing Wang & Jan van Eijck - unknown
    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
     
     
    Export citation  
     
    Bookmark   3 citations  
  13. Presupposition Failure A Comedy of Errors.Jan van Eijck - unknown
    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 (...)
     
    Export citation  
     
    Bookmark   3 citations  
  14.  21
    The Dynamics of Description.Jan van Eijck - 1993 - Journal of Semantics 10 (3):239-267.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  15. Discourse Representation Theory.Jan van Eijck - unknown
    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 (...)
     
    Export citation  
     
    Bookmark   3 citations  
  16.  89
    Composing Models.Jan van Eijck & Yanjing Wang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):397-425.
    • We study a new composition operation on (epistemic) multiagent models and update actions that takes vocabulary extensions into account.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  6
    Verifying Epistemic Protocols Under Common Knowledge.Yanjing Wang, Lakshmanan Kuppusamy & Jan van Eijck - 2009 - Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge - Tark ’09:257--266.
    Epistemic protocols are communication protocols aiming at transfer of knowledge in a controlled way. Typically, the preconditions or goals for protocol actions depend on the knowledge of agents, often in nested form. Informal epistemic protocol descriptions for muddy children, coordinated attack, dining cryptographers, Russian cards, secret key exchange are well known. The contribution of this paper is a formal study of a natural requirement on epistemic protocols, that the contents of the protocol can be assumed to be common knowledge. By (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  65
    Making Things Happen.Jan van Eijck - 2000 - Studia Logica 66 (1):41-58.
    We explore some logics of change, focusing on commands to change the world in such a way that certain elementary propositions become true or false. This investigation starts out from the following two simplifying assumptions: (1) the world is a collection of facts (Wittgenstein), and (2), the world can be changed by changing elementary facts (Marx). These assumptions allow us to study the logic of imperatives in the simplest possible setting.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  13
    Action Emulation.Jan van Eijck, Ji Ruan & Tomasz Sadzik - 2012 - Synthese 185 (S1):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. But the converse turns out to be false: update models may have the same update effects without being bisimilar. We propose action (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  56
    The Epistemics of Presupposition Projection.Jan van Eijck & Christina Unger - 2007 - In Dekker Aloni (ed.), Proceedings of the Sixteenth Amsterdam Colloquium. pp. 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  
     
    Export citation  
     
    Bookmark   3 citations  
  21. Guarded Actions.Jan van Eijck - unknown
    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
     
    Export citation  
     
    Bookmark   3 citations  
  22. Multi-Agent Belief Revision with Linked Plausibilities.Jan van Eijck - unknown
    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
     
     
    Export citation  
     
    Bookmark   2 citations  
  23. One Hundred Prisoners and a Lightbulb — Logic and Computation.Hans van Ditmarsch & Jan van Eijck - unknown
    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 (...)
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  24. Verifying One Hundred Prisoners and a Lightbulb.Hans van Ditmarsch & Jan van Eijck - 2010 - Journal of Applied Non-Classical Logics 20 (3):173-191.
    This is a case-study in knowledge representation and dynamic epistemic protocol verification. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents 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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Yet More Modal Logics of Preference Change and Belief Revision.Jan van Eijck - unknown
    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 (...)
     
    Export citation  
     
    Bookmark   2 citations  
  26.  80
    The Language of Social Software.Jan van Eijck - 2010 - Synthese 177 (S1):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 (7 more)  
     
    Export citation  
     
    Bookmark  
  27.  6
    Epistemic Probability Logic Simplified.Jan van Eijck & François Schwarzentruber - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 158-177.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Perception and Change in Update Logic.Jan van Eijck - unknown
    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 (...)
     
    Export citation  
     
    Bookmark   1 citation  
  29.  39
    Reasoning About Update Logic.Jan van Eijck & Fer-Jan de Vries - 1995 - 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 (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. HyLoTab — Tableau-Based Theorem Proving for Hybrid Logics.Jan van Eijck - unknown
    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
     
     
    Export citation  
     
    Bookmark   1 citation  
  31. A Conversation with Wittgenstein.Jan van Eijck - unknown
    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  
     
    Bookmark  
  32. Normal Forms for Characteristic Functions on N-Ary Relations.Jan van Eijck - unknown
    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
     
    Export citation  
     
    Bookmark   1 citation  
  33. A Program for Computational Semantics.Jan van Eijck - unknown
    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
     
     
    Export citation  
     
    Bookmark   1 citation  
  34. The Gamut of Dynamic Logics.Jan van Eijck - unknown
    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, (...)
     
    Export citation  
     
    Bookmark   1 citation  
  35. Epistemic Verification of Anonymity.Jan van Eijck - unknown
    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.
     
    Export citation  
     
    Bookmark   1 citation  
  36. Common Knowledge in Update Logics.Jan van Eijck - unknown
    Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express the essence of what communication achieves. We present some methods that yield so-called reduction axioms for common knowledge. We investigate the expressive power of public announcement logic with relativized common knowledge, and present reduction axioms that give a detailed account of the dynamics of common knowledge in some major communication types.
     
    Export citation  
     
    Bookmark   1 citation  
  37.  40
    The Dynamics of Interpretation.Johan van Benthem & Jan van Eijck - 1982 - 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 (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  42
    Book Review. [REVIEW]Jan Van Eijck - 1997 - Journal of Logic, Language and Information 6 (3):339-341.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Formal Concept Analysis and Lexical Semantics.Jan van Eijck - unknown
    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 (...)
     
    Export citation  
     
    Bookmark  
  40. APPENDIX — The Functional Approach To Parsing.Jan van Eijck - unknown
    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.
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. Dynamic Epistemic Modelling.Jan van Eijck - unknown
    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 (...)
     
    Export citation  
     
    Bookmark  
  42. Expressivity of Extensions of Dynamic First-Order Logic.Balder ten Cate & Jan van Eijck - unknown
    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
     
     
    Export citation  
     
    Bookmark  
  43. Computational Semantics, Type Theory, and Functional Programming.Jan van Eijck - unknown
    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
     
     
    Export citation  
     
    Bookmark  
  44. Discourse Representation Theory and Plurality.Jan van Eijck - 1983 - In Alice G. B. ter Meulen (ed.), Studies in Modeltheoretic Semantics. Foris Publications.
     
    Export citation  
     
    Bookmark   3 citations  
  45. Comments on 'Modal Fixed Point Logic and Changing Models'.Jan van Eijck - unknown
    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 (...)
     
    Export citation  
     
    Bookmark  
  46. Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision.Jan van Eijck - unknown
    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 (...)
     
    Export citation  
     
    Bookmark  
  47. Reducing Dynamic Epistemic Logic to Pdl by Program Transformation.Jan van Eijck - unknown
    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, (...)
     
    Export citation  
     
    Bookmark  
  48. Constrained Hyper Tableaux.Jan van Eijck - unknown
    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
     
     
    Export citation  
     
    Bookmark  
  49.  17
    Epistemic Protocols for Dynamic Gossip.Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian & François Schwarzentruber - 2017 - Journal of Applied Logic 20:1-31.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50. Time Discounting and Time Consistency.Nicola Dimitri & Jan van Eijck - unknown
    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 (...)
     
    Export citation  
     
    Bookmark  
1 — 50 / 112