Results 51 to 60 of about 112 (75)
Truth, collection and deflationism in models of peano arithmetic [PDF]
, 2015 This thesis focuses on adding collection axioms to satisfaction classes and exploring the suitability of a formal deflationary truth predicate. Chapter 2 proves that every nonstandard, recursively saturated model of PA has a satisfaction class in which ...
Jones, Alexander Marcus
core
Automated Reasoning in Quantified Modal and Temporal Logics [PDF]
, 2005 Centre for Intelligent Systems and their ApplicationsThis thesis is about automated reasoning in quantified modal and temporal logics, with an application to formal methods.
Castellini, Claudio
core +1 more source
Computer Aided Verification [PDF]
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of
core +1 more source
Realism, history and the quantum theory: Philosophical and historical arguments for realism as a methodological thesis. [PDF]
, 1996 Scientific realists and non-realists disagree over the reach of scientific knowledge: does it extend beyond the observational realm. Intuitions about abductive inferences are at the heart of many realist positions, but are brought into question by the ...
Hendry, Robin Findlay
core
New Perspectives on Games and Interaction [PDF]
This volume is a collection of papers presented at the 2007 colloquium on new perspectives on games and interaction at the Royal Dutch Academy of Sciences in Amsterdam. The purpose of the colloquium was to clarify the uses of the concepts of game theory,
core +1 more source
, 2018 Counting plays a fundamental role in many scientific fields including chemistry, physics, mathematics, and computer science. There are two approaches for counting, the first relies on analytical tools to drive closed form expression, while the second ...
Assarpour, Ali
core
Skolem sequences and Skolem labelled graphs have been described and examined for several decades. This paper explores the weak Skolem labelling of cycle graphs, which we call Skolem circles. The relationship between Skolem sequences and Skolem cirlces is
Bubear, J, Hall, J
core
Langford sequences and their variants: partitions of {1, . . . , 2m + 2} \ {k, 2m + 1}, {1, . . . , 2m—1, L} and {1, . . . , 2m, L} \ {2} into differences in {d, . . . , d + m —1} [PDF]
, 2007 Mor, S.J
core +3 more sources
, 2008 This work is intended to ascertain whether Putnam’s internal realism is actually a realist doctrine. Putnam has opposed internal realism, which maintains that truth is an epistemic notion (specifically, idealised rational acceptability), to metaphysical ...
Moretti, Luca
core