Abstract
AbstractBy means of models in toposes of C-sets (where C is a small category), necessary conditions are found for the minimum quantified extension of a propositional (intermediate, modal) logic to be complete with respect to Kripke semantics; in particular, many well-known systems turn out to be incomplete.
Publisher
Cambridge University Press (CUP)
Reference16 articles.
1. Corsi G. , The quantified modal logics of 〈Q, <〉 and of 〈Q, ≤〉 and some of their extensions, preprint, 1990.
2. Presheaf semantics and independence results for some non-classical first-order logics
3. An ascending chain of S4 logics
4. That All Normal Extensions of S4.3 Have the Finite Model Property
5. Model extension theorem and Craig's interpolation theorem for intermediate predicate logics;Ono;Reports on Mathematical Logic,1983
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献