Search Results - "Semantics--Methodology"

NORMALIZATION PROPERTIES OF λμ-CALCULUS USING REALIZABILITY SEMANTICS.

Authors: BATTYÁNYI, PÉTER NOUR, KARIM

Source: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP). Jul2026, Vol. 13 Issue 3, p381-428. 48p.

可拓语义下苗族图腾在家具设计中的应用.

Alternate Title: Application of Miao Ethnic Totem in Furniture Design Under Extensional Semantics.

Authors: 张海彬 李赫男 冉 芳 et al.

Source: China Forest Products Industry. Mar2026, Vol. 63 Issue 3, p76-86. 11p.

Recommending needles in a haystack: the SURGE approach.

Authors: Hermoso, Ramon Ilarri, Sergio Trillo-Lado, Raquel et al.

Source: International Journal of Geographical Information Science. Jul2026, Vol. 40 Issue 7, p2023-2060. 38p.

Subjects: Recommender systems, Semantics methodology, Geographic spatial analysis, Spatial data structures, Tourism

Grounding conditionals.

Authors: Litland, Jon Erling^1,2 (AUTHOR) jon.litland@austin.utexas.edu

Source: Philosophical Studies. May2026, Vol. 183 Issue 5, p1217-1249. 33p.

Notation, Redundancy and Fundamental Logical Structure.

Authors: Romero, Carlos¹, carlos.a.romero.c@icloud.com

Source: Erkenntnis; Apr2026, Vol. 91 Issue 4, p1635-1650, 16p

Problems and Consequences of Bilateral Notions of (Meta-)Derivability.

Authors: Ayhan, Sara¹ (AUTHOR) sara.ayhan@rub.de

Source: Erkenntnis. Aug2026, Vol. 91 Issue 6, p2621-2639. 19p.

The New‐Meaning Objection: A Reply to Nicolò D'Agruma.

Authors: Devitt, Michael Porot, Nicolas

Source: Cognitive Science. Jan2025, Vol. 49 Issue 1, p1-7. 7p.

Subject Terms: Objections (Evidence), Semantics methodology, Vignettes, Argument

Call-by-value and call-by-name: A simple proof of a classic theorem.

Authors: BIERNACKI, DARIUSZ MCKINNA, JAMES SIECZKOWSKI, FILIP

Source: Journal of Functional Programming. 2025, Vol. 35, p1-13. 13p.

Semantic dualism.

Authors: Goldberg, Nathaniel Gavaler, Chris

Source: Southern Journal of Philosophy; Dec2025, Vol. 63 Issue 4, p570-584, 15p

Downplaying the change of subject objection to conceptual engineering.

Authors: Belleri, Delia¹ (AUTHOR) deliabelleri@gmail.com

Source: Inquiry. Oct2025, Vol. 68 Issue 9, p2942-2965. 24p.

Unlinkability and history preserving bisimilarity.

Authors: Aubert, Clément Horne, Ross Johansen, Christian et al.

Source: Computers & Security. Jun2026, Vol. 165, pN.PAG-N.PAG. 1p.

RNMATRICES FOR MODAL LOGICS.

Authors: CONIGLIO, MARCELO E. PAWLOWSKI, PAWEL SKURT, DANIEL

Source: Legal Theory. Sep2025, Vol. 31 Issue 3, p744-774. 31p.

MODULAR SEQUENT CALCULI FOR INTERPRETABILITY LOGICS.

Authors: PERINI BROGI, COSIMO NEGRI, SARA OLIVETTI, NICOLA

Source: Review of Symbolic Logic. Sep2025, Vol. 18 Issue 3, p704-743. 40p.

On the weak completeness of a fragment of linear temporal logic.

Authors: Baratella, Stefano¹

Source: Journal of Logic & Computation; Jul2025, Vol. 35 Issue 5, p1-12, 12p

A defense of QUD reasons contextualism.

Authors: Weaver, Bryan R. Scharp, Kevin

Source: Inquiry; May2026, Vol. 69 Issue 4, p2257-2274, 18p

A semantics for Boolean networks consistent with regulatory threshold constraints.

Authors: Dague, Philippe¹ (AUTHOR) philippe.dague@universite-paris-saclay.fr

Source: Journal of Theoretical Biology. May2026, Vol. 624, pN.PAG-N.PAG. 1p.

Subjects: Boolean networks, Semantics methodology, Constraint satisfaction, Biological mathematical modeling, Computational complexity, Gene regulatory networks, Dynamical systems, Satisfiability (Computer science)

A unifying approach to probabilistic testing equivalences.

Authors: Chen, Weijun Fu, Yuxi Long, Huan et al.

Source: Theoretical Computer Science. Jun2026, Vol. 1075, pN.PAG-N.PAG. 1p.

Subjects: Semantics methodology, Predicate calculus, Stochastic processes

On the semantic and methodological dimensions of equilibrium in economics.

Alternate Title: Sobre as dimensões semânticas e metodológicas do equilíbrio em economia.

Authors: DIAS BRAZ, DOUGLAS BITTES TERRA, FABIO

Source: Brazilian Journal of Political Economy / Revista de Economia Política. Apr-Jun2022, Vol. 42 Issue 2, p327-344. 18p.

A dispositional, state-directed epistemology.

Authors: Stenwall, Robin¹, robin.stenwall@fil.lu.se

Source: Synthese; Apr2026, Vol. 207 Issue 4, p1-28, 28p

THE ALGEBRAS OF LEWIS'S COUNTERFACTUALS: DUALITY THEORY.

Authors: ROSELLA, GIULIANO UGOLINI, SARA

Source: Review of Symbolic Logic; Mar2026, Vol. 19 Issue 1, p46-80, 35p