Author:
Caicedo Xavier,Metcalfe George,Rodríguez Ricardo,Tuyt Olim
Funder
CONICET
Swiss National Science Foundation
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference38 articles.
1. The one-variable fragment of Corsi logic;Caicedo,2019
2. Relations between intuitionistic modal logics and intermediate predicate logics;Ono;Rep. Math. Log.,1988
3. Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics;Suzuki;Stud. Log.,1990
4. Varieties of monadic Heyting algebras - part I;Bezhanishvili;Stud. Log.,1998
5. On fuzzy modal logics S5(C);Hájek;Fuzzy Sets Syst.,2010
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. One Variable Relevant Logics are S5ish;Journal of Philosophical Logic;2024-03-22