Results 1 to 10 of about 74,510 (146)
Ultraproducts and possible worlds semantics in institutions
Theoretical Computer Science, 2007 The theory of institutions [\textit{J. A. Goguen} and \textit{R. M. Burstall}, J. Assoc. Comput. Mach. 39, No. 1, 95--146 (1992; Zbl 0799.68134)] is a categorical abstract model theory which formalizes the intuitive notion of logical system, including syntax, semantics, and the satisfaction between them.
Răzvan Diaconescu, Petros Stefaneas
exaly +3 more sources
Modelling Deep Indeterminacy [PDF]
, 2021 This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of ...
Darby, George, Pickup, Martin
core +2 more sources
, 2013 Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us.
Jago, Mark
core +5 more sources
Possible Worlds Semantics [PDF]
, 2015 One approach to specifying the meaning of pieces of languages is to treat those meanings as constructions out of possible worlds and possible objects. This technique is useful both in logic and in providing the semantics of natural languages. After introducing possible worlds semantics, this chapter will outline some of the applications that have ...
openaire +5 more sources
Subset models for justification logic [PDF]
, 2019 We introduce a new semantics for justification logic based on subset relations. Instead of using the established and more symbolic interpretation of justifications, we model justifications as sets of possible worlds.
Lehmann, Eveline, Studer, Thomas
core +2 more sources
, 2017 This paper presents and advocates an approach to the semantics of opinion statements, including matters of personal taste and moral claims. In this framework, 'outlook-based semantics', the circumstances of evaluation are not composed of a possible world
Coppock, Elizabeth
core +1 more source
Continuations in possible-world semantics
Theoretical Computer Science, 1991 The paper treats the semantics of jumps and block expressions in ALGOL- like languages. The author uses the generalization of conventional semantic domains to functor from the category of ``possible worlds'' to a category of semantic domains. The use of continuations in this generalized framework is discussed.
Robert D. Tennent, J. K. Tobin
openaire +1 more source
Fully Realizing Partial Realization [PDF]
, 2018 There has been a movement in philosophy, growing over the last twenty years, to treat dispositionality as irreducible and, in turn, offer dispositional accounts of important metaphysical matters such as the laws of nature, free will, causation, and ...
Kroll, Nick
core +1 more source
Weak and Strong Necessity Modals: On Linguistic Means of Expressing "A Primitive Concept OUGHT" [PDF]
, 2022 This paper develops an account of the meaning of `ought', and the distinction between weak necessity modals (`ought', `should') and strong necessity modals (`must', `have to').
Silk, Alex
core +3 more sources
Counterfactuals of Ontological Dependence [PDF]
, 2020 A great deal has been written about 'would' counterfactuals of causal dependence. Comparatively little has been said regarding 'would' counterfactuals of ontological dependence.
Baron, Sam
core