Author:
Renardel de Lavalette G. R.,Hendriks A.,de Jongh D. H. J.
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Notes on My Scientific Life;Outstanding Contributions to Logic;2024
2. NNIL-formulas revisited: Universal models and finite model property;Journal of Logic and Computation;2020-12-03
3. Modal Intuitionistic Logics as Dialgebraic Logics;Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science;2020-07-08
4. Classifying material implications over minimal logic;Archive for Mathematical Logic;2020-03-07
5. The Admissible Rules of BD2 and GSc;Notre Dame Journal of Formal Logic;2018-01-01