Switch to: Citations

Add references

You must login to add references.
  1. Topological Aspects of Branching-Time Semantics.Michela Sabbadin & Alberto Zanardo - 2003 - Studia Logica 75 (3):271 - 286.
    The aim of this paper is to present a new perspective under which branching-time semantics can be viewed. The set of histories (maximal linearly ordered sets) in a tree structure can be endowed in a natural way with a topological structure. Properties of trees and of bundled trees can be expressed in topological terms. In particular, we can consider the new notion of topological validity for Ockhamist temporal formulae. It will be proved that this notion of validity is equivalent to (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • 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   4 citations  
  • Modal Logics with Linear Alternative Relations.Krister Segerberg - 1970 - Theoria 36 (3):301-322.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • Modal and Temporal Logics.Colin P. Stirling - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
    Download  
     
    Export citation  
     
    Bookmark   8 citations