Processes and Modal Logics
Icelandic Fund for Research Project nr. 100048021 (2010-2012)



PUBLICATIONS

The following scientific publications have resulted from the project work so far.

Books and Edited Volumes

  1. Luca Aceto, Monika Henzinger and Jiri Sgall. Proceedings of the 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), Lecture Notes in Computer Science 6755 and 6756, Springer-Verlag, 2011. Part I may be found here, and part II here.

Chapters in Books and Collections

  1. Luca Aceto, Anna Ingolfsdottir and Jiri Srba. The Algorithmics of Bisimilarity.
    Chapter 3 of Advanced Topics in Bisimulation and Coinduction (Jan Rutten and Davide Sangiorgi editors), volume 52 of Cambridge Tracts in Theoretical Computer Science, pp. 100-172, Cambridge University Press.

Journal Papers

    1. Luca Aceto, Ignacio Fabregas, David de Frutos Escrig, Anna Ingolfsdottir and Miguel Palomino. On the specification of modal systems: A comparison of three frameworks. Science of Computer Programming, Elsevier.
    2. L. Aceto, A. Ingolfsdottir, P. B. Levy and J. Sack. Characteristic Formulae for Fixed-Point Semantics: A General Framework. Mathematical Structures in Computer Science 22(2):125--173, Cambridge University Press, 2012.
    3. L. Aceto, A. Ingolfsdottir and J. Sack. Resource bisimilarity and graded bisimilarity coincide. Information Processing Letters 111(2):68--76, Elsevier, 31 December 2010. The official journal version is here.
    4. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala and Guido Sciavicco. Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Theoretical Computer Science, Elsevier, 2014. In press.
    5. Davide Bresolin, Dario Della Monica, Angelo Montanari and Guido Sciavicco. The light side of Interval Temporal Logic: the Bernays-Schönfinkel fragment of CDT. Annals of Mathematics and Artificial Intelligence (AMAI) (DOI: 10.1007/s10472-013-9337-y, online since March 2013).
    6. D. Della Monica, V. Goranko, A. Montanari, and G. Sciavicco. Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. Journal of Universal Computer Science (JUCS), 18(20):2798-2831, 2012.
    7. J. Sack. Logic for Update Products and Steps into the Past. Annals of Pure and Applied Logic. 161:12, 2010. pp. 1431–1461.
      Author created version: pdf

    Conference and Workshop Papers

    1. Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, MohammadReza Mousavi. Decompositional Reasoning about the History of Parallel Processes.
      To appear in the Proceedings of IPM International Conference on Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran, April 20-22, 2011. Lecture Notes in Computer Science, Springer-Verlag.
    2. Luca Aceto, Dario Della Monica, Anna Ingolfsdottir, Angelo Montanari and Guido Sciavicco. A complete classification of the expressiveness of interval logics of Allen's relations over dense linear orders. To appear in the Proceedings of TIME 2013: 20th International Symposium on Temporal Representation and Reasoning, IEEE Press, 2013.
      Version dated 10 May 2013.
    3. Luca Aceto, Dario Della Monica, Anna Ingolfsdottir, Angelo Montanari and Guido Sciavicco. An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. To appear in the Proceedings of LPAR-19, Logic for Programming, Artificial Intelligence and Reasoning, Stellenbosch, South Africa, 15-19 December 2013, Lecture Notes in Computer Science, Springer Verlag, 2013.
    4. Luca Aceto, Ignacio Fabregas, David de Frutos Escrig, Anna Ingolfsdottir and Miguel Palomino.
      Relating modal refinements, covariant-contravariant simulations and partial bisimulations.
      To appear in the Proceedings of IPM International Conference on Fundamentals of Software Engineering (FSEN 2011), Tehran, Iran, April 20-22, 2011. Lecture Notes in Computer Science, Springer-Verlag.
    5. Luca Aceto, Ignacio Fabregas, David de Frutos Escrig, Anna Ingolfsdottir and Miguel Palomino.
      Graphical representation of covariant-contravariant modal formulas.
      Version dated 6 June 2011.
      Proceedings of EXPRESS 2011, the 18th International Workshop on Expressiveness in Concurrency, Electronic Proceedings in Theoretical Computer Science 64, pp. 1-15, 2011.
    6. Luca Aceto, Wiebe van der Hoek, Anna Ingolfsdottir and Joshua Sack. Sigma Algebras in Probabilistic Epistemic Dynamics. Proceedings of TARK 2011, ACM, 2011. The official ACM version of the paper is here
    7. Luca Aceto and Anna Ingolfsdottir. Characteristic formulae for relations with nested fixed points. In the Proceedings of FICS 2012, Workshop on Fixed Points in Computer Science (Z. Esik and D. Miller eds.), Electronic Proceedings in Theoretical Computer Science 77, pp. 15-22, 2012.
    8. Luca Aceto, Anna Ingolfsdottir, Cristian Prisacariu and Joshua Sack. Compositional Reasoning for Multi-modal Logics.. Proceedings of LFCS 2013, Symposium on Logical Foundations of Computer Science, January 6-8, 2013, San Diego, California, U.S.A. Lecture Notes in Computer Science 7734, pp. 1-15, Springer Verlag, 2013.
    9. Davide Bresolin, Dario Della Monica, Angelo Montanari and Guido Sciavicco. A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: an Implementation. Proceedings of Tableaux 2013, Automated Reasoning with Analytic Tableaux and Related Methods, Nancy, France, September 16-19, 2013. To appear.
    10. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala and Guido Sciavicco. Interval Temporal Logics over Finite Linear Orders: the Complete Picture. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012).
    11. Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala and Guido Sciavicco. Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture. Proceedings of the 3rd International Symposium on Games, Automata, Logics and Formal Verification (GandALF), Naples, Italy, September 6th-8th, 2012.
    12. Samuel Bucheli, Roman Kuznets, Bryan Renne, Joshua Sack and Thomas Studer. Justified Belief Change. Proceedings of Logic and Philosophy of Knowledge, Communication and Action, X. Arrazola, M. Ponte, editors, pp. 135-155, Basque Country Press, 2010.
    13. Dario Della Monica, Margherita Napoli and Mimmo Parente. A lower bound in model checking coalitional games in shortage resource scenarios. Proceedings of the Fourth International Symposium on Games, Automata, Logics and Formal Verification (Gandalf 2013) (Borca di Cadore, Dolomites, Italy, August 29-31, 2013). Electronic Proceedings in Theoretical Computer Science, 2013. To appear.
    14. Joshua Sack and Lijun Zhang. A General Framework for Probabilistic Characterizing Formulae. To appear in the Proceedings of 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2012), Lecture Notes in Computer Science, Springer Verlag, 2012.

    Unpublished and Submitted Papers

    1. Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingolfsdottir, Angelo Montanari and Guido Sciavicco. A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations: The General and the Dense Cases. Submitted for journal publication.
    2. Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari and Guido Sciavicco. The dark side of Interval Temporal Logic: marking the undecidability border. Submitted for journal publication.