5 found
Sort by:
Disambiguations:
Jan Van Eijck [3]Jan Eijck [2]
  1. Jan Eijck, Ji Ruan & Tomasz Sadzik (2012). Action Emulation. 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 (modulo bisimulation). But the converse turns out to be false: update models may have the same update effects without being bisimilar. We (...)
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2. Jan van Eijck (2010). The Language of Social Software. 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.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Jan Van Eijck (2000). Making Things Happen. 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 (2 more)  
     
    My bibliography  
     
    Export citation  
  4. 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 ofinformation 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Jan Eijck & Fer-Jan Vries (1992). Dynamic Interpretation and HOARE Deduction. Journal of Logic, Language and Information 1 (1):1-44.
    In this paper we present a dynamic assignment language which extends the dynamic predicate logic of Groenendijk and Stokhof [1991: 39–100] with assignment and with generalized quantifiers. The use of this dynamic assignment language for natural language analysis, along the lines of o.c. and [Barwise, 1987: 1–29], is demonstrated by examples. We show that our representation language permits us to treat a wide variety of donkey sentences: conditionals with a donkey pronoun in their consequent and quantified sentences with donkey pronouns (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation