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   92 citations  
  2.  94
    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   21 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.  63
    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. 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   7 citations  
  7. 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   6 citations  
  8.  23
    Dynamic Interpretation and Hoare Deduction.Jan Van Eijck & Fer-Jan De Vries - 1992 - Journal of Logic, Language and Information 1 (1):1-44.
  9.  99
    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  
  10. 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   4 citations  
  11.  21
    The Dynamics of Description.Jan van Eijck - 1993 - Journal of Semantics 10 (3):239-267.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  12. 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  
  13. 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   4 citations  
  14. 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  
  15.  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   6 citations  
  16. 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  
  17.  19
    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   1 citation  
  18.  93
    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  
  19.  60
    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  
  20. 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  
  21.  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  
  22.  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  
  23. 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  
  24. 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  
  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. 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   2 citations  
  27.  42
    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  
  28.  9
    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  
  29. 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  
  30.  45
    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  
  31. 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  
  32. 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  
  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. 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  
  35. Syllogistics = Monotonicity + Symmetry + Existential Import.Jan van Eijck - unknown
    Syllogistics reduces to only two rules of inference: monotonicity and symmetry, plus a third if one wants to take existential import into account. We give an implementation that uses only the monotonicity and symmetry rules, with an addendum for the treatment of existential import. Soundness follows from the monotonicity properties and symmetry properties of the Aristotelean quantifiers, while completeness for syllogistic theory is proved by direct inspection of the valid syllogisms. Next, the valid syllogisms are decomposed in terms of the (...)
     
    Export citation  
     
    Bookmark   1 citation  
  36. 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  
  37. 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  
  38.  8
    Foreword.Philippe Balbiani, Hans van Ditmarsch & Jan van Eijck - 2009 - Journal of Applied Non-Classical Logics 19 (4):397-402.
  39. 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  
  40.  93
    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  
  41.  23
    Action Emulation Between Canonical Models.Floor Sietsma & Jan van Eijck - 2013 - Journal of Philosophical Logic 42 (6):905-925.
    In this paper we investigate Kripke models, used to model knowledge or belief in a static situation, and action models, used to model communicative actions that change this knowledge or belief. The appropriate notion for structural equivalence between modal structures such as Kripke models is bisimulation: Kripke models that are bisimilar are modally equivalent. We would like to find a structural relation that can play the same role for the action models that play a prominent role in information updating. Two (...)
    Direct download (5 more)  
     
    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. 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  
  44. 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  
  45. A First Order Axiomatisation of Least Fixpoint on Finite Models.Jan van Eijck - unknown
    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λ¯.
     
    Export citation  
     
    Bookmark  
  46. A Geometric Look at Manipulation.Jan van Eijck - unknown
    We take a fresh look at voting theory, in particular at the notion of manipulation, by employing the geometry of the Saari triangle. This yields a geometric proof of the Gibbard/Satterthwaite theorem, and new insight into what it means to manipulate the vote. Next, we propose two possible strengthenings of the notion of manipulability (or weakenings of the notion of non-manipulability), and analyze how these affect the impossibility proof for non-manipulable voting rules.
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. An Inference Engine with a Natural Language Interface.Jan van Eijck - unknown
    ‘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
     
     
    Export citation  
     
    Bookmark  
  48. A First Order Axiomatisation of Least Fixpoint on Finite Models.Jan van Eijck - unknown
    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λ¯.
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. 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  
  50. About Testing and Specification . . . And About First Order Logic.Jan van Eijck - unknown
    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.
     
    Export citation  
     
    Bookmark  
1 — 50 / 112