8 found
Sort by:
  1. Davide Bresolin, Valentin Goranko, Angelo Montanari & Guido Sciavicco (2009). Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions. Annals of Pure and Applied Logic 161 (3):289-304.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Angelo Montanari, Adriano Peron & Gabriele Puppis (2006). On the Relationships Between Theories of Time Granularity and the Monadic Second-Order Theory of One Successor. 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)  
     
    My bibliography  
     
    Export citation  
  3. Valentin Goranko & Angelo Montanari (2004). Foreword. Journal of Applied Non-Classical Logics 14 (1-2):7-8.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Valentin Goranko, Angelo Montanari & Guido Sciavicco (2004). A Road Map of Interval Temporal Logics and Duration Calculi. Journal of Applied Non-Classical Logics 14 (1-2):9-54.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  5. Johan Van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti (1998). Modal Deduction in Second-Order Logic and Set Theory: II. 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)  
     
    My bibliography  
     
    Export citation  
  6. Johan van Benthem, Giovanna D'Agostino, Angelo Montanari & Alberto Policriti (1998). Modal Deduction in Second-Order Logic and Set Theory - II. 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 (8 more)  
     
    My bibliography  
     
    Export citation  
  7. Angelo Montanari & Alberto Policriti (1997). Review: Peter Ohrstrom, Per F. V. Hasle, Temporal Logic. From Ancient Ideas to Artificial Intelligence. [REVIEW] Journal of Symbolic Logic 62 (3):1044-1046.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Angelo Montanari & Alberto Policriti (1996). Decidability Results for Metric and Layered Temporal Logics. 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 (6 more)  
     
    My bibliography  
     
    Export citation