8 found
Order:
  1.  18
    On some proposed universals of natural language.Elias Thijsse - 1983 - In Alice G. B. Ter Meulen (ed.), Studies in Modeltheoretic Semantics. Foris Publications. pp. 19--36.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  44
    A general approach to multi-agent minimal knowledge: With tools and Samples.Wiebe van der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61-84.
    We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent''s knowledge containing exactly the information conveyed by some (honest) formula . Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a''s decisions, it may be relevant that (he knows that) agent b does not know more than . There are (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  25
    A fugue on the themes of awareness logic and correspondence.Elias Thijsse & Heinrich Wansing - 1996 - Journal of Applied Non-Classical Logics 6 (2):127-136.
  4.  22
    A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.Wiebe van Der Hoek & Elias Thijsse - 2002 - Studia Logica 72 (1):61 - 84.
    We extend our general approach to characterizing information to multi-agent systems. In particular, we provide a formal description of an agent's knowledge containing exactly the information conveyed by some (honest) formula φ. Only knowing is important for dynamic agent systems in two ways. First of all, one wants to compare different states of knowledge of an agent and, secondly, for agent a's decisions, it may be relevant that (he knows that) agent b does not know more than φ. There are (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  27
    Honesty in partial logic.Wiebe Hoek, Jan Jaspars & Elias Thijsse - 1996 - Studia Logica 56 (3):323-360.
    We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent that only knows and which honest enable such circumscription? Redefining stable sets enables us to provide suitable syntactic and semantic criteria for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  19
    Introduction.Françcois Lepage, Elias Thijsse & Heinrich Wansing - 2000 - Studia Logica 66 (1):1-4.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. Logics of consciousness explained and compared: Partial approaches to actual belief.Elias Thijsse - 1991 - Logique Et Analyse 133:134.
  8.  45
    Honesty in partial logic.Wiebe van der Hoek, Jan Jaspars & Elias Thijsse - 1996 - Studia Logica 56 (3):323-360.
    We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent that 'only knows φ' and which honest φ enable such circumscription? Redefining stable sets enables us to provide suitable syntactic and semantic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark