Author:
Aceto Luca,Ingólfsdóttir Anna,Prisacariu Cristian,Sack Joshua
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Aceto, L., Ingolfsdottir, A., Prisacariu, C., Sack, J.: Compositional reasoning for multi-modal logics. Technical Report 419, Department of Informatics, University of Oslo, Oslo, Norway (September 2012)
2. Andersen, H.R.: Partial model checking (extended abstract). In: 10th IEEE Symposium on Logic in Computer Science (LICS 1995), pp. 398–407. IEEE Computer Society (1995)
3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press (1998)
4. Baeten, J.C.M., Basten, T., Reniers, M.A.: Process Algebra: Equational Theories of Communicating Processes. Cambridge Tracts in Theoretical Computer Science 50. Cambridge University Press (2009)
5. Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165–224 (2004)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Reasoning for Multi-modal Logics;Logical Foundations of Computer Science;2013