Directed frames
- 1 March 1989
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 29 (1) , 53-67
- https://doi.org/10.1007/bf01630811
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Presheaf semantics and independence results for some non-classical first-order logicsArchive for Mathematical Logic, 1989
- A logic characterized by the class of connected models with nested domainsStudia Logica, 1989
- Quantified Modal Logic With Rigid TermsMathematical Logic Quarterly, 1988
- Applications of trees to intermediate logicsThe Journal of Symbolic Logic, 1972