Research Article
GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
-
- Published online by Cambridge University Press:
- 18 December 2018, pp. 1-29
-
- Article
- Export citation
A UNIFIED THEORY OF TRUTH AND PARADOX
-
- Published online by Cambridge University Press:
- 26 February 2019, pp. 209-254
-
- Article
- Export citation
QUANTIFIED INTUITIONISTIC LOGIC OVER METRIZABLE SPACES
-
- Published online by Cambridge University Press:
- 08 April 2019, pp. 405-425
-
- Article
- Export citation
PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS
-
- Published online by Cambridge University Press:
- 10 June 2019, pp. 607-636
-
- Article
- Export citation
UNIVERSES AND UNIVALENCE IN HOMOTOPY TYPE THEORY
-
- Published online by Cambridge University Press:
- 15 July 2019, pp. 426-455
-
- Article
- Export citation
A NOTE ON THE REVERSE MATHEMATICS OF THE SORITES
-
- Published online by Cambridge University Press:
- 07 December 2018, pp. 30-36
-
- Article
- Export citation
EVERYONE KNOWS THAT SOMEONE KNOWS: QUANTIFIERS OVER EPISTEMIC AGENTS
-
- Published online by Cambridge University Press:
- 09 January 2019, pp. 255-270
-
- Article
- Export citation
FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
-
- Published online by Cambridge University Press:
- 02 September 2019, pp. 637-662
-
- Article
- Export citation
UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
-
- Published online by Cambridge University Press:
- 03 December 2018, pp. 37-61
-
- Article
- Export citation
DYNAMIC GRADED EPISTEMIC LOGIC
-
- Published online by Cambridge University Press:
- 12 July 2019, pp. 663-684
-
- Article
- Export citation
SOME OBSERVATIONS ABOUT GENERALIZED QUANTIFIERS IN LOGICS OF IMPERFECT INFORMATION
-
- Published online by Cambridge University Press:
- 12 April 2019, pp. 456-486
-
- Article
- Export citation
CAPTURING CONSEQUENCE
-
- Published online by Cambridge University Press:
- 04 March 2019, pp. 271-295
-
- Article
- Export citation
SUBSTRUCTURAL INQUISITIVE LOGICS
-
- Published online by Cambridge University Press:
- 01 February 2019, pp. 296-330
-
- Article
- Export citation
ACCURACY AND UR-PRIOR CONDITIONALIZATION
-
- Published online by Cambridge University Press:
- 08 May 2018, pp. 62-96
-
- Article
- Export citation
MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION
-
- Published online by Cambridge University Press:
- 13 February 2019, pp. 685-701
-
- Article
- Export citation
COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
-
- Published online by Cambridge University Press:
- 04 July 2019, pp. 487-535
-
- Article
- Export citation
LOGIC FOR EXACT ENTAILMENT
-
- Published online by Cambridge University Press:
- 01 February 2019, pp. 536-556
-
- Article
- Export citation
SMALL INFINITARY EPISTEMIC LOGICS
-
- Published online by Cambridge University Press:
- 01 February 2019, pp. 702-735
-
- Article
- Export citation
FREGE’S CONSTRAINT AND THE NATURE OF FREGE’S FOUNDATIONAL PROGRAM
-
- Published online by Cambridge University Press:
- 05 December 2018, pp. 97-143
-
- Article
- Export citation
AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS
-
- Published online by Cambridge University Press:
- 15 February 2019, pp. 331-371
-
- Article
- Export citation