Author:
Balbiani Philippe,Mikulás Szabolcs
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Balbiani, P.: Time representation and temporal reasoning from the perspective of non-standard analysis. In: Brewka, G., Lang, J. (eds.) Eleventh International Conference on Principles of Knowledge Representation and Reasoning, pp. 695–704. AAAI (2008)
2. Lecture Notes in Computer Science;P. Balbiani,2009
3. Balbiani, P.: Axiomatizing the temporal logic defined over the class of all lexicographic products of dense linear orders without endpoints. In: Markey, N., Wijsen, J. (eds.) Temporal Representation and Reasoning, pp. 19–26. IEEE (2010)
4. Van Benthem, J.: The Logic of Time. Kluwer (1991)
5. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献