7 found
Sort by:
  1. Guilherme de Souza Rabello & Marcelo Finger (2008). Approximations of Modal Logics: And Beyond. Annals of Pure and Applied Logic 152 (1):161-173.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Ruth Kempson, Marcelo Finger, Rodger Kibble & Dov Gabbay, Parsing Natural Language Using LDS: A Prototype.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Marcelo Finger & Dov Gabbay (2006). Cut and Pay. Journal of Logic, Language and Information 15 (3):195-218.
    In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce three families of parameterised logics that arise from different ways of controlling the use of cut. We start with a formulation of classical logic in which cut is non-eliminable and then impose restrictions on the use of cut. Three Cut-and-Pay families of logics are presented, and it is shown that each family provides an (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Marcelo Finger & Dov Gabbay (1996). Combining Temporal Logic Systems. Notre Dame Journal of Formal Logic 37 (2):204-232.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Marcelo Finger (1992). Handling Database Updates in Two-Dimensional Temporal Logic. Journal of Applied Non-Classical Logics 2 (2):201-224.
    ABSTRACT We introduce a two-dimensional temporal logic as a formalism which enables the description of both the history of a world and the evolution of an observer's views about the history. We apply such formalism to the description of certain problems that occur in historical database systems due to updates. The historical dimension describes the history of a world according to an observer's view at a certain moment in time. The transaction dimension describes the evolution of an observer's view; changes (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  6. Marcelo Finger & Dov M. Gabbay (1992). Adding a Temporal Dimension to a Logic System. Journal of Logic, Language and Information 1 (3):203-233.
    We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  7. Dov M. Gabbay & Marcelo Finger (1992). Adding a Temporal Dimension to a Logic. Journal of Logic, Language and Information 1:203-233.
     
    My bibliography  
     
    Export citation