Author:
Andréka Hajnal,van Benthem Johan,Bezhanishvili Nick,Németi István
Publisher
Springer International Publishing
Reference96 articles.
1. Annales Academia Scientiarum Fennica, Series A, I. Mathematica Dissertationes;J. Akkanen,1995
2. Ambler, S., Kwiatkowska, M., Measor, N.: Duality and the completeness of the modal μ-calculus. Theor. Comput. Sci. 151, 3–27 (1995)
3. Mathematics and Its Applications;H. Andréka,2006
4. LNCS;H. Andréka,1979
5. Andréka, H., Németi, I., Sain, I.: A complete logic for reasoning about programs via nonstandard model theory. Theor. Comput. Sci. 17(3), 193–212 (1982). Part II in Number 3, pp. 259–278
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantical investigations on non-classical logics with recovery operators: negation;Logic Journal of the IGPL;2023-08-29
2. Compositionality in Context;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
3. Modern Faces of Filtration;Outstanding Contributions to Logic;2023
4. A Simple Logic of Functional Dependence;Journal of Philosophical Logic;2021-03-24
5. On A New Semantics for First-Order Predicate Logic;Journal of Philosophical Logic;2017-04-17