Author:
Bull Robert,Segerberg Krister
Reference166 articles.
1. Ackerman, W.: 1956, ‘Begründung einer strengen Implikation’, J. Symbolic Logic 21, 113–128.
2. Alban, M. J.: 1943, ‘Independence of the primitive symbols of Lewis’ calculi of propositions’, J. Symbolic Logic 8, 24–26.
3. Anderson, A. R. and Belnap, N. D.: 1975, Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, Princeton.
4. Anderson, C. A.: 1980, ‘Some axioms for the logic of sense and denotation: Alternative (0)’, Noûs 14, 217–234.
5. Bayart, A.: 1959, ‘Quasi-adéquation de la logique modale du second ordre S5 et adéquation de la logique du premier ordre S5’, Logique et analyse 2, 99–121.
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献