Author:
Rasga João,Sernadas Amílcar,Sernadas Cristina
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference17 articles.
1. Baltazar P., Mateus P., Nagarajan R., Papanikolaou N.: Exogenous probabilistic computation tree logic. Electronic Notes in Theoretical Computer Science 190(3), 95–110 (2007)
2. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic. Vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2001.
3. Caleiro, C., C. Sernadas, and A. Sernadas, Parameterisation of logics. In J. Fiadeiro (ed.), Recent Trends in Algebraic Development Techniques - Selected Papers, vol. 1589 of Lecture Notes in Computer Science, Springer, 1999, pp. 48–62.
4. Chadha R., Cruz-Filipe L., Mateus P., Sernadas A.: Reasoning about probabilistic sequential programs. Theoretical Computer Science 379(1-2), 142–165 (2007)
5. Chadha, R., P. Mateus, A. Sernadas, and C. Sernadas, Extending classical logic for reasoning about quantum systems. In D. Gabbay, K. Engesser, and D. Lehmann (eds.), Handbook of Quantum Logic and Quantum Structures: Quantum Logic, Elsevier, 2009, pp. 325–372.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献