Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. The Foundations of Mathematics;Beth,1959
2. A logic for non-deterministic specifications;Bialasik,1999
3. Three-valued predicates for software specification and validation;Blikle;Fund. Inform.,1991
4. A.G. Cohn, A many sorted logic with possibly empty sorts, Proc. CADE-11, Lecture Notes in Artificial Intelligence, Vol. 607, 1992, pp. 633–647.
5. A multimodal logic for reasoning about complementarity;Düntsch;J. Appl. Nonclassical Logic,2000
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献