Author:
Blackburn Patrick,Martins Manuel,Manzano María,Huertas Antonia
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference14 articles.
1. First-Order Modal Logic;Fitting,1998
2. Model theory for extended modal languages;Cate,2005
3. Pure extensions, proof rules, and hybrid axiomatics;Blackburn;Stud. Log.,2006
4. Hybrid logic;Areces,2007
5. Completeness in hybrid type theory;Areces;J. Philos. Log.,2014
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Propositional Type Theory of Indeterminacy;Studia Logica;2024-05-03
2. HYBRID PARTIAL TYPE THEORY;The Journal of Symbolic Logic;2023-05-29