13 found
Order:
Disambiguations
Angelo Montanari [11]A. Montanari [5]Annamaria Montanari [2]
  1.  82
    A Road Map of Interval Temporal Logics and Duration Calculi.Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    We survey main developments, results, and open problems on interval temporal logics and duration calculi. We present various formal systems studied in the literature and discuss their distinctive features, emphasizing on expressiveness, axiomatic systems, and (un)decidability results.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  14
    A General Tableau Method for Propositional Interval Temporal Logics: Theory and Implementation.V. Goranko, A. Montanari, P. Sala & G. Sciavicco - 2006 - Journal of Applied Logic 4 (3):305-330.
    In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). It combines (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Definability and Decidability of Binary Predicates for Time Granularity.Massimo Franceschet, Angelo Montanari, Adriano Peron & Guido Sciavicco - 2006 - Journal of Applied Logic 4 (2):168-191.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  21
    Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions.Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco - 2009 - Annals of Pure and Applied Logic 161 (3):289-304.
    In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  37
    On the Relationships Between Theories of Time Granularity and the Monadic Second-Order Theory of One Successor.Angelo Montanari, Adriano Peron & Gabriele Puppis - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):433-455.
    In this paper we explore the connections between the monadic second-order theory of one successor (MSO[<] for short) and the theories of ?-layered structures for time granularity. We first prove that the decision problem for MSO[<] and that for a suitable first-order theory of the upward unbounded layered structure are inter-reducible. Then, we show that a similar result holds for suitable chain variants of the MSO theory of the totally unbounded layered structure (this allows us to solve some decision problems (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  16
    Decidability Results for Metric and Layered Temporal Logics.Angelo Montanari & Alberto Policriti - 1996 - Notre Dame Journal of Formal Logic 37 (2):260-282.
    We study the decidability problem for metric and layered temporal logics. The logics we consider are suitable to model time granularity in various contexts, and they allow one to build granular temporal models by referring to the "natural scale" in any component of the model and by properly constraining the interactions between differently-grained components. A monadic second-order language combining operators such as temporal contextualization and projection, together with the usual displacement operator of metric temporal logics, is considered, and the theory (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  21
    Modal Deduction in Second-Order Logic and Set Theory - II.Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387-420.
    In this paper, we generalize the set-theoretic translation method for poly-modal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  9
    Review: Peter Ohrstrom, Per F. V. Hasle, Temporal Logic. From Ancient Ideas to Artificial Intelligence. [REVIEW]Angelo Montanari & Alberto Policriti - 1997 - Journal of Symbolic Logic 62 (3):1044-1046.
  9.  6
    Foreword.Valentin Goranko & Angelo Montanari - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):7-8.
    Foreword to the Special issue on Interval Temporal Logics and Duration Calculi.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10.  5
    Modal Deduction in Second-Order Logic and Set Theory: II.Johan van Benthem, Giovanna D'agostino, Angelo Montanari & Alberto Policriti - 1998 - Studia Logica 60 (3):387 - 420.
    In this paper, we generalize the set-theoretic translation method for polymodal logic introduced in [11] to extended modal logics. Instead of devising an ad-hoc translation for each logic, we develop a general framework within which a number of extended modal logics can be dealt with. We first extend the basic set-theoretic translation method to weak monadic second-order logic through a suitable change in the underlying set theory that connects up in interesting ways with constructibility; then, we show how to tailor (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    Translating Modal Formulae as Set-Theoretic Terms.G. D'Agostino, A. Montanari & A. Policriti - 1995 - Bulletin of Symbolic Logic 1 (2):230-231.
  12.  1
    Editorial.A. Montanari, A. Policriti & Y. Venema - 1999 - Logic Journal of the IGPL 7 (1):5-6.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Peter Øhrstrøm and Per F. V. Hasle. Temporal Logic. From Ancient Ideas to Artificial Intelligence. Studies in Linguistics and Philosophy, Vol. 57. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, Viii + 413 Pp. [REVIEW]Angelo Montanari & Alberto Policriti - 1997 - Journal of Symbolic Logic 62 (3):1044-1046.