
@incollection{moss2016syllogistic,
  title={Syllogistic logic with cardinality comparisons},
  author={Moss, Lawrence S},
  booktitle={J. Michael Dunn on Information Based Logics},
  pages={391--415},
  year={2016},
  publisher={Springer}
}
@inproceedings{moss2018reasoning,
  title={Reasoning about the sizes of sets: Progress, problems and prospects},
  author={Moss, Lawrence S and Raty, Charlotte},
  booktitle={Proceedings of the Fourth Workshop on Bridging the Gap between Human and Automated Reasoning},
  year={2018}
}
@article{papadimitriou1981complexity,
  title={On the complexity of integer programming},
  author={Papadimitriou, Christos H.},
  journal={Journal of the ACM (JACM)},
  volume={28},
  number={4},
  pages={765--768},
  year={1981},
  publisher={ACM}
}

@ARTICLE{Burgess2010,
  author = {John P. Burgess},
  title = {Axiomatizing the Logic of Comparative Probability},
  journal = {Notre Dame Journal of Formal Logic},
  year = {2010},
  volume = {51},
  pages = {119-126},
  number = {1},
}

@ARTICLE{Cerro1991,
  author = {Luis Fari$\tilde{\mbox{n}}$as del Cerro and Andreas Herzig},
  title = {A Modal Analysis of Possibility Theory},
  journal = {Lecture Notes in Computer Science},
  year = {1991},
  volume = {535},
  pages = {11-18},
}

@BOOK{Dubois1988,
  title = {Possibility Theory},
  publisher = {Plenum Press},
  address = {New York},
  year = {1988},
  author = {Didier Dubois and Henri Prade}
}

@article{ferro1980decision,
  title={Decision procedures for elementary sublanguages of set theory. {I}. {M}ulti-level syllogistic and some extensions},
  author={Ferro, Alfredo and Omodeo, Eugenio G. and Schwartz, Jacob T.},
  journal={Communications on Pure and Applied Mathematics},
  volume={33},
  number={5},
  pages={599--608},
  year={1980},
  publisher={Wiley}
}

@ARTICLE{Finetti1949,
  author = {Bruno de Finetti},
  title = {{La `logica del plausible' secondo la concezione di Polya}},
  journal = {Atti della XLII Riunione, Societa Italiana per il Progresso delle Scienze},
  year = {1949},
  pages = {227-236},
}

@article{moss2018syllogistic,
  title={Syllogistic Logic with Cardinality Comparisons, On Infinite Sets},
  author={Moss, Lawrence S. and Topal, Sel{\c{c}}uk},
  journal={The Review of Symbolic Logic},
  pages={1--22},
  year={2018},
  publisher={Cambridge University Press}
}
@article{cantone1988survey,
  title={A survey of computable set theory},
  author={Cantone, Domenico},
  journal={Le Matematiche},
  volume={43},
  number={1, 2},
  pages={125--194},
  year={1988}
}

@BOOK{Cantor1962,
  title = {Gesammelte Abhandlungen},
  publisher = {Georg Olms},
  address = {Hildesheim, Germany},
  year = {1962},
  author = {Georg Cantor}
}


@book{Fine1973,
  Author = {Fine, Terrence L.},
  Title = {Theories of Probability},
  Year = {1973},
  Publisher = {Academic Press}}


@BOOK{Galileo1954,
  title = {Dialogues concerning two new sciences},
  publisher = {Dover},
  address = {New York},
  year = {1954 [1638]},
  translator = {Henry Crew and Alfonso De Salvio},
  author = {Galileo Galilei}
}

@BOOK{Galileo,
  title = {{Foundations of Measurement}},
  publisher = {Academic Press, New York},
  year = {1971},
  author = {David H. Krantz and R. Duncan Luce and Patrick Suppes and Amos Tversky},
  volume = {1},
}

@ARTICLE{Hoek1996b,
  author = {Wiebe van der Hoek},
  title = {{Qualitative Modalities}},
  journal = {International Journal of Uncertainty, Fuzziness, and Knowledge-Based Systems},
  year = {1996},
  volume = {4},
  number = {1},
  pages = {45-59},
}
  
@INCOLLECTION{Hoek1996,
  author = {Wiebe van der Hoek and John-Jules Meyer},
  title = {{Modalities for Reasoning about Knowledge and Uncertainties}},
  booktitle = {Partiality, Modality, and Nonmonotonicity},
  publisher = {CSLI Publications},
  year = {1996},
  editor = {Patrick Doherty},
  pages = {77-110},
}

@BOOK{Jech2003,
  title = {Set Theory},
  publisher = {Springer},
  address = {Berlin},
  year = {2003},
  author = {Thomas Jech}
}

@BOOK{Krantz1971,
  title = {{Foundations of Measurement}},
  publisher = {Academic Press, New York},
  year = {1971},
  author = {David H. Krantz and R. Duncan Luce and Patrick Suppes and Amos Tversky},
  volume = {1},
}

@ARTICLE{Mancosu2009,
  author = {Paolo Mancosu},
  title = {Measuring the size of infinite collections of natural numbers: {W}as {C}antor's theory of infinite number inevitable?},
  journal = {The Review of Symbolic Logic},
  year = {2009},
  volume = {2},
  number = {4},
  pages = {2009},
}
  

@ARTICLE{Hoek1996b,
  author = {Wiebe van der Hoek},
  title = {{Qualitative Modalities}},
  journal = {International Journal of Uncertainty, Fuzziness, and Knowledge-Based Systems},
  year = {1996},
  volume = {4},
  number = {1},
  pages = {45-59},
}
  

@ARTICLE{Fishburn1986b,
  author = {Peter C. Fishburn},
  title = {{The Axioms of Subjective Probability}},
  journal = {Statistical Science},
  year = {1986},
  volume = {1},
  pages = {335-358},
  number = {3},
}

@ARTICLE{Gardenfors1975,
  author = {Peter G\"{a}rdenfors},
  title = {Qualitative Probability as an Intensional Logic},
  journal = {Journal of Philosophical Logic},
  year = {1975},
  volume = {4},
  pages = {171-185},
  number = {2},
}

  

@BOOK{Halpern2003,
  title = {{Reasoning about Uncertainty}},
  publisher = {MIT Press},
  year = {2003},
  author = {Joseph Y. Halpern},
}

@INCOLLECTION{Hoek1996,
  author = {Wiebe van der Hoek and John-Jules Meyer},
  title = {{Modalities for Reasoning about Knowledge and Uncertainties}},
  booktitle = {Partiality, Modality, and Nonmonotonicity},
  publisher = {CSLI Publications},
  year = {1996},
  editor = {Patrick Doherty},
  pages = {77-110},
}

@inproceedings{HollidayIcard,
	Author = {Wesley H. Holliday and Thomas F. Icard{,} III},
	Title = {Measure Semantics and Qualitative Semantics for Epistemic Modals},
	Booktitle = {Semantics and Linguistics Theory (SALT)},
	Volume = {23},
	editor = {Todd Snider},
	Year = {2013},
}


@ARTICLE{Kraft1959,
  author = {Charles H. Kraft and John W. Pratt and A. Seidenberg},
  title = {Intuitive Probability on Finite Sets},
  journal = {The Annals of Mathematical Statistics},
  year = {1959},
  volume = {30},
  pages = {408-419},
  number = {2},
}


@ARTICLE{Scott1964,
  author = {Dana Scott},
  title = {Measurement Structures and Linear Inequalities},
  journal = {Journal of Mathematical Psychology},
  year = {1964},
  volume = {1},
  pages = {233-247},
}

@ARTICLE{Segerberg1971,
  author = {Krister Segerberg},
  title = {Qualitative Probability in a Modal Setting},
  journal = {Proceedings of the Second Scandinavian Logic Symposium},
  year = {1971},
  volume = {63},
  pages = {341-352},
}
