Order:
Disambiguations
Marcelo Finger [15]M. Finger [6]Matthias Finger [1]
  1.  73
    Adding a Temporal Dimension to a Logic System.Marcelo Finger & Dov M. Gabbay - 1992 - 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)  
     
    Export citation  
     
    Bookmark   26 citations  
  2.  63
    Cut and Pay.Marcelo Finger & Dov Gabbay - 2006 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  19
    The Unrestricted Combination of Temporal Logic Systems.Marcelo Finger & M. Weiss - 2002 - 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  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  76
    Combining Temporal Logic Systems.Marcelo Finger & Dov Gabbay - 1996 - 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)  
     
    Export citation  
     
    Bookmark   6 citations  
  5.  10
    Cut-Based Abduction.Marcello D'agostino, Marcelo Finger & Dov Gabbay - 2008 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  23
    Handling Database Updates in Two-Dimensional Temporal Logic.Marcelo Finger - 1992 - 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)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Adding a Temporal Dimension to a Logic.Dov M. Gabbay & Marcelo Finger - 1992 - Journal of Logic, Language and Information 1:203-233.
  8.  10
    Approximations of Modal Logics: And Beyond.Guilherme de Souza Rabello & Marcelo Finger - 2008 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  15
    Labelled Natural Deduction for Substructural Logics.K. Broda, M. Finger & A. Russo - 1999 - Logic Journal of the IGPL 7 (3):283-318.
    In this paper a uniform methodology to perform natural\ndeduction over the family of linear, relevance and intuitionistic\nlogics is proposed. The methodology follows the Labelled\nDeductive Systems (LDS) discipline, where the deductive process\nmanipulates {\em declarative units} -- formulas {\em labelled}\naccording to a {\em labelling algebra}. In the system described\nhere, labels are either ground terms or variables of a given {\em\nlabelling language} and inference rules manipulate formulas and\nlabels simultaneously, generating (whenever necessary)\nconstraints on the labels used in the rules. A set of natural\ndeduction style (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  12
    Completeness for Cut-Based Abduction.A. M. Arruda & M. Finger - 2014 - Logic Journal of the IGPL 22 (2):286-296.
  11.  8
    Equal Rights for the Cut: Computable Non-Analytic Cuts in Cut-Based Proofs.Marcelo Finger & Dov Gabbay - 2007 - 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  
     
    Export citation  
     
    Bookmark  
  12.  6
    Towards Classifying Propositional Probabilistic Logics.Glauber De Bona, Fabio Gagliardi Cozman & Marcelo Finger - 2014 - Journal of Applied Logic 12 (3):349-368.
  13.  8
    Parsing Natural Language Using LDS: A Prototype.M. Finger, R. Kibble, D. Gabbay & R. Kempson - 1997 - Logic Journal of the IGPL 5 (5):647-671.
    This paper describes a prototype implementation of a Labelled Deduction System for natural language interpretation, where interpretation is taken to be the process of understanding a natural language utterance. The implementation models the process of understanding wh-gap dependencies in questions and relative clauses for a fragment of English. The paper is divided in three main sections. In Section 1, we introduce the basic architecture of the system. Section 2 outlines a prototype implementation of wh-binding and indicates its potential for explanation (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14. H. Barringer, M. Fisher, D. Gabbay, R. Owens, and M. Reynolds, Eds. The Imperative Future: Principles of Executable Temporal Logic. [REVIEW]M. Finger - 1997 - Journal of Logic Language and Information 6:105-106.
  15. The Green Movement Worldwide.Matthias Finger (ed.) - 1992 - Jai Press.