Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference19 articles.
1. Andrews, P., A reduction of the axioms for the theory of propositional types, Fundamenta Mathematicae 52: 345–350, 1963.
2. Andrews, P., An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Academic Press, Cambridge 1986.
3. Areces, C., P. Blackburn, A. Huertas, and M. Manzano, Completeness in Hybrid Type Theory, J Philos Logic (Journal of Philosophical Logic) 43(2–3): 209–238, 2014. https://doi.org/10.1007/s10992-012-9260-4 .
4. Barbosa, L., S. Martins, A. Manuel, and M. Carreteiro, A Hilbert-style axiomatisation for equational hybrid logic, Journal of Logic, Language and Information 23(1): 31–52, 2014.
5. Blackburn, P., and J. van Benthem, Modal Logic: A Semantic Perspective. Handbook of Modal Logic, Elsevier, New York 2007.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modality across different logics;Logic Journal of the IGPL;2024-08-09
2. HYBRID PARTIAL TYPE THEORY;The Journal of Symbolic Logic;2023-05-29
3. Exorcising the phantom zone;Information and Computation;2021-05
4. Rigid First-Order Hybrid Logic;Logic, Language, Information, and Computation;2019