Results 61 to 70 of about 16,014 (243)
Toward a New Theory of Moderate Contingentism: Individuals just are Realized Essences
Problemos, 2022 In this paper, we propose a new actualist and contingentist modal metaphysics – fundamental essentialism – according to which individuals just are realized essences.
Pranciškus Gricius
doaj +1 more source
Theoria, EarlyView.Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley +1 more source
Toward an Epistemic-Logical Theory of Categorization [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 Categorization systems are widely studied in psychology, sociology, and organization theory as information-structuring devices which are critical to decision-making processes.
Willem Conradie +5 more
doaj +1 more source
Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions [PDF]
, 2022 Ricardo Óscar Rodríguez +3 more
openalex +1 more source
Expressiveness and Completeness in Abstraction
, 2012 We study two notions of expressiveness, which have appeared in abstraction theory for model checking, and find them incomparable in general. In particular, we show that according to the most widely used notion, the class of Kripke Modal Transition ...
Bas Luttik +22 more
core +3 more sources
Winged horses, rascals and discourse referents
Theoria, EarlyView.Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley +1 more source
Kripke's Reduction of Löb's Theorem to the Second Incompleteness Theorem
Theoria, EarlyView.ABSTRACT In this paper, we discuss Kripke's reduction of Löb's Principle to the Second Incompleteness Theorem. We have a closer look at the non‐constructive character of the reduction. We reflect on what the argument has to tell us. In the Appendix, We give a strengthening of Löb's Principle suggested by Kripke's reduction.
Albert Visser
wiley +1 more source
Generalized Strong Preservation by Abstract Interpretation
, 2006 Standard abstract model checking relies on abstract Kripke structures which approximate concrete models by gluing together indistinguishable states, namely by a partition of the concrete state space.
Ranzato, Francesco, Tapparo, Francesco
core +4 more sources
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, EarlyView.ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source
Named Models in Coalgebraic Hybrid Logic [PDF]
, 2010 Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given ...
Dirk Pattinson +3 more
core +4 more sources