Results 11 to 20 of about 966,425 (288)
Linguistics and Philosophy, 1991 Abstract This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as “dynamic predicate logic,” is intended as a first step toward a compositional, non-representational theory of discourse semantics.
Stokhof, M.J.B., Groenendijk, J.A.G.
openaire +4 more sources
Labelled Natural Deduction for Public Announcement Logic with Common Knowledge
Mathematics, 2020 Public announcement logic is a logic that studies epistemic updates. In this paper, we propose a sound and complete labelled natural deduction system for public announcement logic with the common knowledge operator (PAC). The completeness of the proposed
Muhammad Farhan Mohd Nasir +2 more
doaj +1 more source
Dynamic Topological Logic [PDF]
Annals of Pure and Applied Logic, 2005 Three important research areas meet together in the abstract framework of dynamic topological logic (DTL): the topological semantics for S4, topological dynamics, and temporal logic. It is known that S4 can be understood as the logic of topological spaces, and \(\square\) can be understood as a topological modality (with the meaning of the topological ...
Kremer, Philip, Mints, Grigori
openaire +1 more source
Quantum logic as a dynamic logic [PDF]
Synthese, 2010 The authors argue that quantum mechanics does not require abandoning the principles of classical logic. Their argument is based on combining a formal semantic approach understood as an investigation of ``the logic of yes-no experiments'', following their papers [Int. J. Theor. Phys. 44, No. 12, 2267--2282 (2005; Zbl 1110.81013); Stud. Log. 89, No.
Baltag, A., Smets, S.
openaire +4 more sources
Weighted Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Schützenberger theorem.
Manfred Droste, George Rahonis
doaj +1 more source
Inclusion of a suite of weathering tracers in the cGENIE Earth system model – muffin release v.0.9.23 [PDF]
Geoscientific Model Development, 2021 The metals strontium (Sr), lithium (Li), osmium (Os) and calcium (Ca), together with their isotopes, are important tracers of weathering and volcanism – primary processes which shape the long-term cycling of carbon and other biogeochemically important ...
M. Adloff +10 more
doaj +1 more source
, 2009 Building on a simple modal logic of context, the paper presents a dynamic logic characterizing operations of contraction and expansion on theories. We investigate the mathematical properties of the logic, and show how it can capture some aspects of the dynamics of normative systems once they are viewed as logical theories.
Aucher, G. +3 more
openaire +3 more sources
Nontraditional Design of Dynamic Logics Using FDSOI for Ultra-Efficient Computing
IEEE Journal on Exploratory Solid-State Computational Devices and Circuits, 2023 In this article, we propose a nontraditional design of dynamic logic circuits using fully-depleted silicon-on-insulator (FDSOI) FETs. FDSOI FET allows the threshold voltage ( $V_{\text {t}}$ ) to be adjustable (i.e., low- $V_{\text {t}}$ and high- $V_ ...
Shubham Kumar +4 more
doaj +1 more source
Static and dynamic vector semantics for lambda calculus models of natural language
Journal of Language Modelling, 2019 Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose
Mehrnoosh Sadrzadeh, Reinhard Muskens
doaj +1 more source
The Relationship Between Separation Logic and Implicit Dynamic Frames [PDF]
Logical Methods in Computer Science, 2012 Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has recently been proposed, aiming at first-order tool support.
Matthew J. Parkinson +1 more
doaj +1 more source