9 found
Sort by:
  1. Marcello D'agostino, Marcelo Finger & Dov Gabbay (2008). Cut-Based Abduction. Logic Journal of the Igpl 16 (6):537-560.
    In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Guilherme de Souza Rabello & Marcelo Finger (2008). Approximations of Modal Logics: And Beyond. Annals of Pure and Applied Logic 152 (1):161-173.
    Inspired by the recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of the n-degree of introspection that is allowed, thus generating modaln-logics. The semantics for n-logics is presented, in which formulas are evaluated with respect to paths, and not possible worlds. A tableau-based proof system is presented, n-SST, and soundness and completeness is shown for the approximation of modal logics image and image.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Marcelo Finger & Dov Gabbay (2007). Equal Rights for the Cut: Computable Non-Analytic Cuts in Cut-Based Proofs. Logic Journal of the Igpl 15 (5-6):553-575.
    This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only branching rule is the cut. Such sequent system is invertible, leading to the KE-tableau decision method. We study the structure of such proofs, proving the existence of a normal form for them in the form of a comb-tree proof. We then concentrate on the problem of efficiently computing non-analytic cuts. For that, (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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  
  5. Marcelo Finger & M. Weiss (2002). The Unrestricted Combination of Temporal Logic Systems. Logic Journal of the Igpl 10 (2):165-189.
    This paper generalises and complements the work on combining temporal logics started by Finger and Gabbay [11, 10]. We present proofs of transference of soundness, completeness and decidability for the temporalisation of logics T for any flow of time, eliminating the original restriction that required linear time for the transference of those properties through logic combination. We also generalise such results to the external application of a multi-modal system containing any number of connectives with arbitrary arity, that respect normality.This generalisation (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Marcelo Finger & Dov Gabbay (1996). Combining Temporal Logic Systems. Notre Dame Journal of Formal Logic 37 (2):204-232.
    This paper investigates modular combinations of temporal logic systems. Four combination methods are described and studied with respect to the transfer of logical properties from the component one-dimensional temporal logics to the resulting combined two-dimensional temporal logic. Three basic logical properties are analyzed, namely soundness, completeness, and decidability. Each combination method comprises three submethods that combine the languages, the inference systems, and the semantics of two one-dimensional temporal logic systems, generating families of two-dimensional temporal languages with varying expressivity and varying (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. 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  
  8. 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  
  9. 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