Results 31 to 40 of about 39,273,340 (170)
A Monadic Formalization of ML5 [PDF]
Electronic Proceedings in Theoretical Computer Science, 2010 ML5 is a programming language for spatially distributed computing, based on a Curry-Howard correspondence with the modal logic S5. Despite being designed by a correspondence with S5 modal logic, the ML5 programming language differs from the logic in ...
Daniel R. Licata, Robert Harper
doaj +1 more source
The determination of what is said and what is implied
Mind &Language, EarlyView.Is what is said determined by syntax, conventional meaning, and select aspects of context? This thesis—semanticity—seems plausible because what is said can diverge from both what the speaker means and what the addressee understands, and because ordinary speakers know what is said when presented with a novel sentence‐context pair.
Victor Tamburini
wiley +1 more source
Kripke Semantics for Intersection Formulas [PDF]
, 2021 We propose a notion of the Kripke-style model for intersection logic. Using a game interpretation, we prove soundness and completeness of the proposed semantics.
Urzyczyn, Paweł, Dudenhefner, Andrej
core +1 more source
Pacific Philosophical Quarterly, EarlyView.ABSTRACT This paper is about the hierarchy view: that each word has infinitely many meanings, arranged into levels, with the level n meaning serving as its semantic value when it occurs embedded to degree n in indirect or attitude reporting verbs. Departing from the famous debates over the bare tenability of the hierarchy view, I focus on whether there
Mark McCullagh
wiley +1 more source
A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic
International Journal of Mathematics and Mathematical Sciences, 2012 Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002 ...
Mitsuhiko Fujio
doaj +1 more source
The Modal Logic of Aristotelian Diagrams
Axioms, 2023 In this paper, we introduce and study AD-logic, i.e., a system of (hybrid) modal logic that can be used to reason about Aristotelian diagrams. The language of AD-logic, LAD, is interpreted on a kind of birelational Kripke frames, which we call “AD-frames”
Stef Frijters, Lorenz Demey
doaj +1 more source
Now, Again and Again: The Metaphysics of Many Presents
Pacific Philosophical Quarterly, EarlyView.ABSTRACT This paper discusses whether there can be multiple present moments. After presenting some reasons for thinking that the question is worthwhile, I challenge several objections to its possibility: worries about the exclusivity of tense; the nature of change, tense logic and semantics; and the apparent tension between multiple presents and an ...
Nikk Effingham
wiley +1 more source
Philosophers, Autistics & Three Year Olds - Semantics & Intuition. [PDF]
, 2013 Externalist theories in natural language semantics have become the orthodoxy since Kripke is widely thought to have refuted descriptive theories involving internal cognitive representation of meaning.
Slezak, Peter
core
Bulletin of the Section of LogicIn this paper, we prove the semantic incompleteness of some expansions of the Hilbert-style system for the minimal normal term-modal logic with equality and non-rigid terms that were proposed in Liberman et al.
Takahiro Sawasaki
doaj +1 more source
Kripke-Style Models for Logics of Evidence and Truth
Axioms, 2020 In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical ...
Henrique Antunes +3 more
doaj +1 more source