Results 141 to 150 of about 4,414,858 (168)

Taming first-order logic

Logic Journal of IGPL, 1998
In previous work by \textit{H. Andréka, J. van Benthem}, and \textit{I. Németi} [ibid. 3, No. 5, 685-720 (1995; Zbl 0840.03010)], some finite-variable fragments of first-order logic were defined via Kripke-style translations of multi-modal logic. Then these fragments were proved to be decidable.
openaire   +3 more sources

A First-Order Inquisitive Semantics

2010
This paper discusses the extension of propositional inquisitive semantics [Ciardelli and Roelofsen, 2009a, Groenendijk and Roelofsen, 2009] to the first order setting. We show that such an extension requires essential changes in some of the core notions of inquisitive semantics, and we propose and motivate a semantics which retains the essential ...
openaire   +3 more sources

The Single First Order Equation

1971
A partial differential equation (henceforth abbreviated as P.D.E.) for a function u(x,y,...) is a relation of the form $$ F\left( {x,y, \ldots ,u,{u_x},{u_y}, \ldots ,{u_{xx}},{u_{xy}}, \ldots } \right) = 0, $$ (1.1) where F is a given function of the independent variables x,y,..., and of the “unknown” function u and of a finite number of its
openaire   +1 more source

Reduced order and surrogate models for gravitational waves

Living Reviews in Relativity, 2022
Manuel Tiglio, Aaron Villanueva
exaly  

High-order fully actuated system approaches: Part III. Robust control and high-order backstepping

International Journal of Systems Science, 2021
Guang-Ren Duan
exaly  

Review of second-order models for adsorption systems

Journal of Hazardous Materials, 2006
Yuh-Shan Ho
exaly  

On the comparison of pseudo-first order and pseudo-second order rate laws in the modeling of adsorption kinetics

Chemical Engineering Journal, 2016
Jean-Pierre Simonin
exaly  

Prediction from Molecular Shape of Solute Orientational Order in Liquid Crystals

Chemical Reviews, 1998
C A De Lange
exaly  

First-Order PDEs

1992
David Bleecker, George Csordas
openaire   +1 more source

Translation of Molecular Order to the Macroscopic Level

Chemical Reviews, 2016
Alberto Ciferri
exaly