Completeness theorem for dummett's LC quantified and some of its extensions

A propositional calculus with denumerable matrix

Michael Dummett · Journal of Symbolic Logic · 1959 · 403 citations

Humanities, Computer Science, Mathematics +7

Model theory for modal logic part I?The De re/de dicto distinction

Kit Fine · Journal of Philosophical Logic · 1978 · 81 citations

Humanities, Philosophy, Logic +8

Notice 1960 International Congress for Logic, Methodology and Philosophy of Science

Journal of Symbolic Logic · 1959 · 35 citations

Humanities, Philosophy, Logic +8

A Cut‐Free Calculus For Dummett's LC Quantified

Giovanna Corsi · Mathematical logic quarterly · 1989 · 23 citations

Natural Sciences, Mathematics, Physics +5

Directed frames

Giovanna Corsi, Silvio Ghilardi · Archive for Mathematical Logic · 1989 · 16 citations