Works about FIRST-order logic

Results: 914

FIRST-ORDER HOMOTOPICAL LOGIC.

Published in:

Journal of Symbolic Logic, 2025, v. 90, n. 2, p. 564, doi. 10.1017/jsl.2023.68

By:

HELFER, JOSEPH

Publication type:

Article

Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1.

Published in:

2025

By:

Więckowski, Bartosz

Publication type:

Book Review

On Measures of Gender Occupational Segregation: Statistical and Conceptual Considerations (a Response to Grusky and Levanon).

Published in:

Sociological Methods & Research, 2006, v. 34, n. 4, p. 573, doi. 10.1177/0049124106286333

By:

Jerby, Iris;
Semyonov, Moshe;
Lewin-Epstejn, Noah

Publication type:

Article

DNAQL: a query language for DNA sticker complexes.

Published in:

Natural Computing, 2021, v. 20, n. 1, p. 161, doi. 10.1007/s11047-020-09839-7

By:

Brijder, Robert;
Gillis, Joris J. M.;
Van den Bussche, Jan

Publication type:

Article

ON THE MINIMUM OF A NONCONVEX INVENTORY FUNCTION.

Published in:

Management Science, 1988, v. 34, n. 8, p. 1023, doi. 10.1287/mnsc.34.8.1023

By:

Das, Chandrasekhar

Publication type:

Article

Integrating runtime validation and hardware-in-the-loop (HiL) testing with V & V in complex hybrid systems.

Published in:

Journal of the National Science Foundation of Sri Lanka, 2019, v. 47, n. 4, p. 393, doi. 10.4038/jnsfsr.v47i4.9678

By:

Dewasurendra, S. D.;
Vidanapathirana, A. C.;
Abeyratne, S. G.

Publication type:

Article

Blow-up and global existence for nonlinear reaction-diffusion equations under Neumann boundary conditions.

Published in:

Journal of Inequalities & Applications, 2016, v. 2016, n. 1, p. 1, doi. 10.1186/s13660-016-1029-9

By:

Ding, Juntang

Publication type:

Article

Novel Exponentially Fitted Two-Derivative Runge-Kutta Methods with Equation-Dependent Coefficients for First-Order Differential Equations.

Published in:

Discrete Dynamics in Nature & Society, 2016, p. 1, doi. 10.1155/2016/9827952

By:

Yang, Yanping;
Fang, Yonglei;
You, Xiong;
Wang, Bin

Publication type:

Article

SIMULATED MAXIMUM LIKELIHOOD ESTIMATION BASED ON FIRST-ORDER CONDITIONS.

Published in:

International Economic Review, 2009, v. 50, n. 2, p. 627, doi. 10.1111/j.1468-2354.2009.00543.x

By:

Keane, Michael P.

Publication type:

Article

Optical Recognition of Handwritten Logic Formulas Using Neural Networks.

Published in:

Electronics (2079-9292), 2021, v. 10, n. 22, p. 2761, doi. 10.3390/electronics10222761

By:

Ampelakiotis, Vaios;
Perikos, Isidoros;
Hatzilygeroudis, Ioannis;
Tsihrintzis, George

Publication type:

Article

Higher-Order Metaphysics.

Published in:

Crítica, 2025, v. 56, n. 169, p. 223, doi. 10.22201/iifs.18704905e.2025.1648

By:

CARRASCO FIGUEROA, FELIPE

Publication type:

Article

ABDUCCIÓN EN MODELOS FINITOS.

Published in:

Crítica, 2008, v. 40, n. 118, p. 57, doi. 10.22201/iifs.18704905e.2008.1021

By:

SOLER TOSCANO, FERNANDO;
NEPOMUCENO FERNÁNDEZ, ÁNGEL

Publication type:

Article

EL ANÁLISIS LÓGICO DE LA PREDICACIÓN COLECTIVA.

Published in:

Crítica, 2006, v. 38, n. 114, p. 21, doi. 10.22201/iifs.18704905e.2006.487

By:

Díez, Gustavo Fernández

Publication type:

Article

A Pursuit Problem Described by Infinite System of Differential Equations with Coordinate-Wise Integral Constraints on Control Functions.

Published in:

Malaysian Journal of Mathematical Sciences, 2015, v. 9, n. 1, p. 67

By:

Ibragimov, Gafurjan;
Tukhtasinov, Muminjon;
Hasim, Risman Mat;
Alias, Idham Arif

Publication type:

Article

PREDYKATY WYŻSZEGO VS. PIERWSZEGO RZĘDU JAKO PROBLEM SYNTAKTYCZNY.

Published in:

LingVaria, 2024, v. 37, n. 1, p. 11, doi. 10.12797/LV.19.2024.37.01

By:

Kiklewicz, Aleksander

Publication type:

Article

A macro analytic method for coal tar derived from pyrolysis at different temperatures.

Published in:

Journal of the Chinese Chemical Society, 2017, v. 64, n. 3, p. 337, doi. 10.1002/jccs.201600734

By:

Liu, Qihang;
Li, Xiaoming;
Wu, Keng

Publication type:

Article

A FAILED TWIST TO AN OLD PROBLEM: A REPLY TO JOHN N. WILLIAMS.

Published in:

Logos & Episteme, 2016, v. 7, n. 1, p. 75, doi. 10.5840/logos-episteme2016716

By:

BORGES, Rodrigo

Publication type:

Article

The Role of District Office Leaders in the Adoption and Implementation of the Common Core State Standards in Elementary Schools.

Published in:

Educational Administration Quarterly, 2016, v. 52, n. 1, p. 45, doi. 10.1177/0013161X15615391

By:

Durand, Francesca T.;
Lawson, Hal A.;
Wilcox, Kristen Campbell;
Schiller, Kathryn S.

Publication type:

Article

Alternating complexity of counting first-order logic for the subword order.

Published in:

Acta Informatica, 2023, v. 60, n. 1, p. 79, doi. 10.1007/s00236-022-00424-2

By:

Kuske, Dietrich;
Schwarz, Christian

Publication type:

Article

The regular languages of wire linear AC0.

Published in:

Acta Informatica, 2022, v. 59, n. 4, p. 321, doi. 10.1007/s00236-022-00432-2

By:

Cadilhac, Michaël;
Paperman, Charles

Publication type:

Article

Subsequence versus substring constraints in sequence pattern languages.

Published in:

Acta Informatica, 2021, v. 58, n. 1/2, p. 35, doi. 10.1007/s00236-019-00347-5

By:

Engels, Steven;
Tan, Tony;
Van den Bussche, Jan

Publication type:

Article

First-order logics: some characterizations and closure properties.

Published in:

Acta Informatica, 2012, v. 49, n. 4, p. 225, doi. 10.1007/s00236-012-0157-z

By:

Choffrut, Christian;
Malcher, Andreas;
Mereghetti, Carlo;
Palano, Beatrice

Publication type:

Article

N-dimensional versus (N–1)-dimensional connectivity testing of first-order queries to semi-algebraic sets.

Published in:

Acta Informatica, 2005, v. 42, n. 1, p. 43, doi. 10.1007/s00236-005-0171-5

By:

Geerts, Floris;
Smits, Lieven;
Bussche, Jan

Publication type:

Article

Stochastic resonance in a harmonic oscillator subject to random mass and periodically modulated noise.

Published in:

European Physical Journal B: Condensed Matter, 2018, v. 91, n. 2, p. 1, doi. 10.1140/epjb/e2017-80165-9

By:

Wang-Hao Dai;
Rui-Bin Ren;
Mao-Kang Luo;
Ke Deng

Publication type:

Article

The Generic Circular Triangle‐Free Graph.

Published in:

Journal of Graph Theory, 2025, v. 109, n. 4, p. 426, doi. 10.1002/jgt.23235

By:

Bodirsky, Manuel;
Guzmán‐Pro, Santiago

Publication type:

Article

Mixed Problem for Countable Hyperbolic System of Linear Equations.

Published in:

Azerbaijan Journal of Mathematics, 2015, v. 5, n. 2, p. 47

By:

Firman, T.;
Kyrylych, V.

Publication type:

Article

A parameter uniform essentially first-order convergent numerical method for a parabolic system of singularly perturbed differential equations of reaction–diffusion type with initial and Robin boundary conditions.

Published in:

International Journal of Biomathematics, 2019, v. 12, n. 1, p. N.PAG, doi. 10.1142/S1793524519500013

By:

Ishwariya, R.;
Miller, J. J. H.;
Valarmathi, S.

Publication type:

Article

The entanglement of logic and set theory, constructively.

Published in:

Inquiry, 2022, v. 65, n. 6, p. 638, doi. 10.1080/0020174X.2019.1651080

By:

Crosilla, Laura

Publication type:

Article

Bilateralism and invalidities.

Published in:

Inquiry, 2021, v. 64, n. 4, p. 481, doi. 10.1080/0020174X.2019.1680431

By:

Rosenblatt, Lucas

Publication type:

Article

Ground and modality.

Published in:

Inquiry, 2020, v. 63, n. 6, p. 563, doi. 10.1080/0020174X.2020.1758769

By:

Torza, Alessandro

Publication type:

Article

Substructural logics, pragmatic enrichment, and the inferential role of logical constants.

Published in:

Inquiry, 2020, v. 63, n. 6, p. 628, doi. 10.1080/0020174X.2018.1544098

By:

Terrés Villalonga, Pilar

Publication type:

Article

Tracing the outlier: digital objects and algorithmic sorting in Rossella Biscotti's Other.

Published in:

Journal of Aesthetics & Culture, 2019, v. 11, n. 1, p. 1, doi. 10.1080/20004214.2019.1605801

By:

Bak Herrie, Maja

Publication type:

Article

Ontology, Levels of Society, and Degrees of Generality: Theorizing Actors as Abstractions in Institutional Theory.

Published in:

Academy of Management Review, 2020, v. 45, n. 3, p. 570, doi. 10.5465/amr.2014.0266

By:

Hwang, Hokyu;
Colyvas, Jeannette A.

Publication type:

Article

The Valuation Channel of External Adjustment.

Published in:

Research Review, 2009, n. 12, p. 52

By:

Ghironi, Fabio;
Jaewoo Lee;
Rebucci, Alessandro

Publication type:

Article

Automatic Verification for Secrecy of Cryptographic Protocols in First-Order Logic.

Published in:

International Journal of Distributed Sensor Networks, 2009, v. 5, n. 1, p. 14, doi. 10.1080/15501320802505986

By:

Han, Jihong;
Zhou, Zhiyong;
Wang, Yadi

Publication type:

Article

Dangerous politeness? Understandings of politeness in the COVID-19 era and beyond.

Published in:

Journal of Politeness Research: Language, Behavior, Culture, 2024, v. 20, n. 1, p. 11, doi. 10.1515/pr-2022-0011

By:

Sifianou, Maria

Publication type:

Article

A MODEL THEORY FOR THE POTENTIAL INFINITE.

Published in:

Reports on Mathematical Logic, 2022, n. 57, p. 3, doi. 10.4467/20842589RM.22.001.16658

By:

EBERL, Matthias

Publication type:

Article

TABLEAU-BASED TRANSLATION FROM FIRST-ORDER LOGIC TO MODAL LOGIC.

Published in:

Reports on Mathematical Logic, 2021, n. 56, p. 57, doi. 10.4467/20842589rm.21.003.14375

By:

PERKOV, Tin;
MIKEC, Luka

Publication type:

Article

RESPONSES.

Published in:

Análisis Filosófico, 2021, v. 41, n. 2, p. 351, doi. 10.36446/af.2021.464

By:

Ripley, David

Publication type:

Article

CONCEPTUAL DISTANCE AND ALGEBRAS OF CONCEPTS.

Published in:

Review of Symbolic Logic, 2025, v. 18, n. 1, p. 300, doi. 10.1017/S1755020324000029

By:

KHALED, MOHAMED;
SZÉKELY, GERGELY

Publication type:

Article

LOGICS FROM ULTRAFILTERS.

Published in:

Review of Symbolic Logic, 2025, v. 18, n. 1, p. 142, doi. 10.1017/S1755020323000357

By:

MUNDICI, DANIELE

Publication type:

Article

TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS.

Published in:

Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1097, doi. 10.1017/S1755020323000242

By:

ANDRÉKA, HAJNAL;
MADARÁSZ, JUDIT;
NÉMETI, ISTVÁN;
SZÉKELY, GERGELY

Publication type:

Article

FIRST-ORDER RELEVANT REASONERS IN CLASSICAL WORLDS.

Published in:

Review of Symbolic Logic, 2024, v. 17, n. 3, p. 793, doi. 10.1017/S1755020323000096

By:

FERENZ, NICHOLAS

Publication type:

Article

COUNTING TO INFINITY: GRADED MODAL LOGIC WITH AN INFINITY DIAMOND.

Published in:

Review of Symbolic Logic, 2024, v. 17, n. 1, p. 1, doi. 10.1017/S1755020322000247

By:

BELLAS ACOSTA, IGNACIO;
VENEMA, YDE

Publication type:

Article

RSL volume 16 issue 1 Cover and Front matter.

Published in:: Review of Symbolic Logic, 2023, v. 16, n. 1, p. f1, doi. 10.1017/S1755020323000011
Publication type:: Article

CARNAP'S PROBLEM FOR MODAL LOGIC.

Published in:

Review of Symbolic Logic, 2023, v. 16, n. 2, p. 578, doi. 10.1017/S1755020321000083

By:

BONNAY, DENIS;
WESTERSTÅHL, DAG

Publication type:

Article

GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC.

Published in:

Review of Symbolic Logic, 2023, v. 16, n. 1, p. 241, doi. 10.1017/S1755020321000198

By:

GRILLETTI, GIANLUCA;
CIARDELLI, IVANO

Publication type:

Article

THE MODAL LOGIC OF STEPWISE REMOVAL.

Published in:

Review of Symbolic Logic, 2022, v. 15, n. 1, p. 36, doi. 10.1017/S1755020320000258

By:

VAN BENTHEM, JOHAN;
MIERZEWSKI, KRZYSZTOF;
ZAFFORA BLANDO, FRANCESCA

Publication type:

Article

LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT.

Published in:

Review of Symbolic Logic, 2022, v. 15, n. 3, p. 771, doi. 10.1017/S1755020321000277

By:

CARNIELLI, WALTER;
CONIGLIO, MARCELO E.;
FUENMAYOR, DAVID

Publication type:

Article

A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC.

Published in:

Review of Symbolic Logic, 2022, v. 15, n. 2, p. 311, doi. 10.1017/S175502032100037X

By:

MEISSNER, SILKE;
OTTO, MARTIN

Publication type:

Article