Results 41 to 50 of about 1,524,096 (164)
Realisability for Infinitary Intuitionistic Set Theory [PDF]
, 2022 We introduce a realisability semantics for infinitary intuitionistic set theory that is based on Ordinal Turing Machines (OTMs). We show that our notion of OTM-realisability is sound with respect to certain systems of infinitary intuitionistic logic, and
Passmann, Robert +5 more
core +2 more sources
Infinitary Modal Logic and Generalized Kripke Semantics [PDF]
, 2012 This paper deals with the infinitary modal propositional logic Kω1, featuring countable disjunctions and conjunc- tions. It is known that the natural infinitary extension LKω1 (here presented as a Tait-style calculus, TK♯ω1 ) of the standard sequent ...
Minari, Pierluigi
core +1 more source
Lietuvos Matematikos Rinkinys, 2013 We consider three sequent calculi for propositional linear temporal logic (PLTL) which allow us to formalize the properties of operator “always”. The main new results presented in the paper are: (1) introduction of the calculus with looping axioms; (2 ...
Romas Alonderis +1 more
doaj +1 more source
Truth, Partial Logic and Infinitary Proof Systems [PDF]
Studia Logica: An International Journal for Symbolic Logic, 2018 In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect ...
Martin Fischer, N. Gratzl
semanticscholar +2 more sources
Infinitary and Cyclic Proof Systems for Transitive Closure Logic [PDF]
, 2018 Transitive closure logic is a known extension of first-order logic obtained by introducing a transitive closure operator. While other extensions of first-order logic with inductive definitions are a priori parametrized by a set of inductive definitions ...
Cohen, Liron, Rowe, Reuben N. S.
core +1 more source
, 2021 In this paper intuitionistic set theory INC# ∞# in infinitary set theoretical language is considered. External induction principle in nonstandard intuitionistic arithmetic were derived.
J. Foukzon
semanticscholar +1 more source
Aggregation and the Structure of Value
Noûs, Volume 60, Issue 3, Page 619-644, September 2026.ABSTRACT Roughly, the view I call “Additivism” sums up value across time and people. Given some standard assumptions, I show that Additivism follows from two principles. The first says that how lives align in time cannot, in itself, matter. The second says, roughly, that a world cannot be better unless it is better within some period or another.
Weng Kin San
wiley +1 more source
On the theories classified by an étendue
Bulletin of the London Mathematical Society, Volume 58, Issue 7, July 2026.Abstract We give a model‐theoretic characterisation of the geometric theories classified by étendues—the ‘locally localic’ topoi. They are the theories where each model is determined, syntactically and semantically, by any witness of a fixed collection of formulae.
Joshua L. Wrigley
wiley +1 more source
Kripke on Gödel Incompleteness
Theoria, Volume 92, Issue 3, June 2026.ABSTRACT This paper surveys six of Saul Kripke's highly creative ideas and results on Gödel incompleteness, from when he was an undergraduate to last publications. These include his extension of incompleteness from sentences to predicates, his model‐theoretic proof of incompleteness of arithmetic, his compelling analysis of incompleteness in terms of ...
Daniel Isaacson
wiley +1 more source
Expected value, to a point: Moral decision‐making under background uncertainty
Noûs, Volume 59, Issue 4, Page 1093-1125, December 2025.Abstract Expected value maximization gives plausible guidance for moral decision‐making under uncertainty in many situations. But it has unappetizing implications in ‘Pascalian’ situations involving tiny probabilities of extreme outcomes. This paper shows, first, that under realistic levels of ‘background uncertainty’ about sources of value independent
Christian Tarsney
wiley +1 more source