-
Löwe, B., Müller, T. (2010) PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice.Texts in philosophy. College Publications.Book (Editorship) | http://www.lib.uni-bonn.de/PhiMSAMP/Book/ | UvA-DARE
-
Löwe, B., Müller, T. (2011) Data and phenomena in conceptual modelling.Synthese, Vol. 182 (pp 131-148)Article | https://doi.org/10.1007/s11229-009-9621-x | UvA-DARE
-
Löwe, B., Müller, Th. (2004) Degrees of Belief and Knowledge in Mathematics.ILLC Publications. Institute for Logic, Language and Computation.Report | UvA-DARE
-
Lowe, B., Nobrega, H., Pauly, A. (2015) Game Characterizations and Weihrauch Degrees.
-
Löwe, B., Pacuit, E., Romeijn, J.W. (2009) Foundations of the Formal Sciences VI: Probabilistic reasoning and reasoning with probabilities.Studies in logic. College Publications.Book (Editorship) | UvA-DARE
-
Löwe, B., Pacuit, E., Saraf, S. (2009) Identifying the structure of a narrative via an agent-based logic of preferences and beliefs: Formalizations of episodes from CSI: Crime Scene Investigation™.In Proceedings of the Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA'09). University of Hamburg.Conference contribution | http://www.illc.uva.nl/Publications/ResearchReports/PP-2009-33.text.pdf | UvA-DARELöwe, B., Pacuit, E., Witzel, A. (2011) DEL planning and some tractable cases.In van Ditmarsch, H. Lang, J. Ju, S. (Eds.), Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011: proceedings (pp 179-192) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6953). Springer.Conference contribution | https://doi.org/10.1007/978-3-642-24130-7_13 | UvA-DARELöwe, B., Pacuit, E. (2008) An abstract approach to reasoning about games with mistaken and changing beliefs.The Australasian Journal of Logic, Vol. 6 (pp 162-181)Löwe, B., Passmann, R., Tarafder, S. (2021) Constructing illoyal algebra-valued models of set theory.Algebra Universalis, Vol. 82Article | https://doi.org/10.1007/s00012-021-00735-4 | UvA-DARELöwe, B., Peckhaus, V., Räsch, T. (2006) Foundations of the Formal Sciences IV, The History of the Concept of the Formal Sciences.Studies in Logic. College Publications.Book (Editorship) | UvA-DARELöwe, B., Piwinger, B., Räsch, T. (2004) Classical and New Paradigms of Computation and their Complexity Hierarchies, Papers of the conference "Foundations of the Formal Sciences III" held in Vienna, September 21-24, 2001.Trends in Logic. Kluwer Academic Publishers.Löwe, B., Rohde, P. (2002) Games of length omega times two.Proceedings of the American Mathematical Society, Vol. 130 (pp 1247-1248)Löwe, B., Rudolph, F. (2002) Foundations of the formal sciences I: Humboldt Universität zu Berlin, May 7-9, 1999.Synthese: special issue. Unknown Publisher.Book (Editorship) | UvA-DARELöwe, B., Sarenac, D. (2004) Cardinal spaces and topological representations of bimodal logics.ILLC Publications. Institute for Logic, Language and Computation.Working paper | UvA-DARELöwe, B., Sarenac, D. (2005) Cardinal spaces and topological representations of bimodal logics.Logic Journal of the IGPL, Vol. 13 (pp 301-306)Article | https://doi.org/10.1093/jigpal/jzi025 | UvA-DARELöwe, B., Semmes, B.T. (2005) The extent of constructive game labellings.ILLC Publications. Institute for Logic, Language and Computation.Working paper | UvA-DARELöwe, B., Semmes, B.T. (2005) The extent of constructive labellings.In Dimitracopoulos, C. (Eds.), Proceedings of the 5th Panhellenic Logic Symposium, July 25-28, 2005, Athens, Greece, Dedicated to Yiannis N. Moschovakis upon his retirement from the University of Athens (pp 93-98)Conference contribution | UvA-DARELöwe, B., Semmes, B.T. (2007) The extent of constructive game labellings.Journal of Logic and Computation, Vol. 17 (pp 285-298)Article | https://doi.org/10.1093/logcom/exl039 | UvA-DARELöwe, B., Steel, J.R. (1999) An introduction to core model theory.London Mathematical Society lecture note series (pp 103-157)Article | UvA-DARELöwe, B., Tarafder, S. (2015) Generalized algebra-valued models of set theory.Review of Symbolic Logic, Vol. 8 (pp 192-205)Article | https://doi.org/10.1017/S175502031400046X | UvA-DAREThe data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl