Author:
Litak Tadeusz,Wolter Frank
Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference13 articles.
1. Bezhanishvili, N., and I. Hodkinson, ‘All normal extensions of S5-squared are finitely axiomatizable’, Studia Logica, 78:443–457, 2004.
2. Bezhanishvili, N., and M. Marx, ‘All proper normal extensions of S5-square have the polynomial size model property’, Studia Logica, 73:367–382, 2003.
3. Etessami, K., M. Vardi, and T.Wilke, ‘First-order logic with two variables and unary temporal logic’, Information and Computation, 179:279–295, 2002.
4. Gabbay, D., I. Hodkinson, and M. Reynolds, Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1, Oxford University Press, 1994.
5. Goldblatt, R., Logics of Time and Computation, Number 7 in CSLI Lecture Notes, CSLI Publications, Stanford, 1987.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献