8 found
Sort by:
  1. Elias Thijsse & Heinrich Wansing (2012). A Fugue on the Themes of Awareness Logic and Correspondence. Journal of Applied Non-Classical Logics 6 (2):127-136.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Wiebe van Der Hoek & Elias Thijsse (2002). A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. 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 (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Wiebe van der Hoek & Elias Thijsse (2002). A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples. 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 (7 more)  
     
    My bibliography  
     
    Export citation  
  4. Françcois Lepage, Elias Thijsse & Heinrich Wansing (2000). Introduction. Studia Logica 66 (1):1-4.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  5. Wiebe Hoek, Jan Jaspars & Elias Thijsse (1996). Honesty in Partial Logic. 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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Wiebe van der Hoek, Jan Jaspars & Elias Thijsse (1996). Honesty in Partial Logic. Studia Logica 56 (3):323-360.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Elias Thijsse (1991). Logics of Consciousness Explained and Compared: Partial Approaches to Actual Belief. Logique Et Analyse 133:134.
     
    My bibliography  
     
    Export citation  
  8. Elias Thijsse (1983). On Some Proposed Universals of Natural Language. In Alice G. B. ter Meulen (ed.), Studies in Modeltheoretic Semantics. Foris Publications. 19--36.
    Direct download  
     
    My bibliography  
     
    Export citation