Switch to: References

Add citations

You must login to add citations.
  1. Craig Interpolation in the Presence of Unreliable Connectives.João Rasga, Cristina Sernadas & Amlcar Sernadas - 2014 - Logica Universalis 8 (3-4):423-446.
    Arrow and turnstile interpolations are investigated in UCL [introduced by Sernadas et al. ], a logic that is a complete extension of classical propositional logic for reasoning about connectives that only behave as expected with a given probability. Arrow interpolation is shown to hold in general and turnstile interpolation is established under some provisos.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Observing, reporting, and deciding in networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2014 - Annals of Pure and Applied Logic 165 (3):812-836.
    In prior work [7] we considered networks of agents who have knowledge bases in first order logic, and report facts to their neighbors that are in their common languages and are provable from their knowledge bases, in order to help a decider verify a single sentence. In report complete networks, the signatures of the agents and the links between agents are rich enough to verify any deciderʼs sentence that can be proved from the combined knowledge base. This paper introduces a (...)
    Download  
     
    Export citation  
     
    Bookmark