Author:
Krynicki Michał,Mostowski Marcin
Reference78 articles.
1. K. J. Barwise, Some applications of Henkin quantifiers, Israel Journal of Mathematics 25 (1976), pp. 47–63.
2. K. J. Barwise, On Branching Quantifiers in English, Journal of Philosophical Logic 8 (1979), pp. 47–80.
3. K. J. Barwise, Model-theoretic logics: Background and aims, in
Model-Theoretic Logics, J. Barwise and S. Feferman (eds.), Springer-Verlag 1985, pp. 3–23.
4. K. J. Barwise and R. Cooper, Generalized quantifiers and natural language, Linguistics and Philosophy 4 (1981), pp. 159–219.
5. K. J. Barwise and J. S. Schlipf, An introduction to recursively saturated and resplendent models, The Journal of Symbolic Logic 41 (1976), pp. 531–536.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Synthesis with Explicit Dependencies;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04
2. Towards a proof theory for Henkin quantifiers;Journal of Logic and Computation;2021-01
3. A Globally Sound Analytic Calculus for Henkin Quantifiers;Logical Foundations of Computer Science;2019-12-20
4. Classical Negation and Game-Theoretical Semantics;Notre Dame Journal of Formal Logic;2014-01-01
5. Existential Graphs: What a Diagrammatic Logic of Cognition Might Look Like;History and Philosophy of Logic;2011-08