Switch to: Citations

Add references

You must login to add references.
  1. Non-definability of the class of complete bundled trees.A. Zanardo, B. Barcellan & M. Reynolds - 1999 - Logic Journal of the IGPL 7 (1):125-136.
    In several semantics for branching-time logic, the evaluation rules involve a quantification over the set of all histories in a given tree-like structure T. These semantics are often generalized by replacing these quantifications by quantifications over a bundle in T, that is, over a set of histories fulfilling suitable closure properties. According to this generalization, the basic semantical structures are pairs 〈T, B〉 in which B is a bundle in T.The problem of the definability of the class of complete bundled (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A finite axiomatization of the set of strongly valid ockhamist formulas.Alberto Zanardo - 1985 - Journal of Philosophical Logic 14 (4):447 - 468.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Decidability for branching time.John P. Burgess - 1980 - Studia Logica 39 (2-3):203-218.
    The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable.
    Download  
     
    Export citation  
     
    Bookmark   31 citations