Results 71 to 80 of about 11,768 (185)

Abstract Hidden Markov Models: a monadic account of quantitative information flow [PDF]

Logical Methods in Computer Science, 2019
Hidden Markov Models, HMM's, are mathematical models of Markov processes with state that is hidden, but from which information can leak. They are typically represented as 3-way joint-probability distributions.
Annabelle McIver, Carroll Morgan, Tahiry Rabehaja   +2 more
doaj   +1 more source

African Lambdas II: Formal Semantics of African Languages—The Verbal and Clausal Domain

Language and Linguistics Compass, Volume 20, Issue 1, January/February 2026.
ABSTRACT The formal semantic analysis of African languages is still a young subfield within theoretical linguistics. Starting with general overviews of the quantifier systems of individual African languages around two decades ago, there now exists a substantial body of fieldwork‐based and autochthonous formal semantic research conducted by both African
Malte Zimmermann
wiley   +1 more source

Labelled transition systems as a Stone space [PDF]

Logical Methods in Computer Science, 2005
A fully abstract and universal domain model for modal transition systems and refinement is shown to be a maximal-points space model for the bisimulation quotient of labelled transition systems over a finite set of events.
Michael Huth
doaj   +1 more source

Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case [PDF]

, 2021
Guillaume Geoffroy
openalex   +1 more source

African Lambdas I: Formal Semantics of African Languages—The Nominal Domain

Language and Linguistics Compass, Volume 20, Issue 1, January/February 2026.
ABSTRACT The formal semantic analysis of African languages is still a young subfield within theoretical linguistics. Starting with general overviews of the quantifier systems of individual African languages around two decades ago, there now exists a substantial body of fieldwork‐based and autochthonous formal semantic research conducted by both African
Malte Zimmermann
wiley   +1 more source

A synthesis view of counterfactuals

Philosophy and Phenomenological Research, Volume 112, Issue 1, Page 130-160, January 2026.
Abstract There are two prominent views of counterfactuals in the literature—variably strict conditional accounts developed by Stalnaker 1968 and D. K. Lewis 1973, and strict conditional accounts defended by von Fintel 2001, Gillies 2007, and others. Unfortunately, both views face serious challenges. This paper argues that traditional strict conditional
Sarah Moss
wiley   +1 more source

Service-Oriented Logic Programming [PDF]

Logical Methods in Computer Science, 2015
We develop formal foundations for notions and mechanisms needed to support service-oriented computing. Our work builds on recent theoretical advancements in the algebraic structures that capture the way services are orchestrated and in the processes that
Ionut Tutu, Jose Luiz Fiadeiro
doaj   +1 more source

Where Mathematical Symbols Come From

Topics in Cognitive Science, Volume 18, Issue 1, Page 169-186, January 2026.
Abstract There is a sense in which the symbols used in mathematical expressions and formulas are arbitrary. After all, arithmetic would be no different if we would replace the symbols ‘+$+$’ or ‘8’ by different symbols. Nevertheless, the shape of many mathematical symbols is in fact well motivated in practice.
Dirk Schlimm
wiley   +1 more source

Our(?) Concept of Food or, They are Eating Their Pets

European Journal of Philosophy, Volume 33, Issue 4, Page 1343-1356, December 2025.
Abstract This article examines the idea that deep disagreements are best understood as rooted in conceptual differences rather than differences in judgments and opinions, by means of a reflection on the differences between a vegan and a meat eater. The aim is not to develop a new theory of “deep disagreement” but to gain clarity about one field in ...
Niklas Forsberg
wiley   +1 more source

“I dunno, as long as it proves my point”: A concept‐based approach to teaching citation and intertextuality to emerging writers

The Modern Language Journal, Volume 109, Issue 4, Page 961-990, Winter 2025.
Abstract This study leverages concept‐based language instruction (C‐BLI) as an innovative pedagogical approach to teaching academic citation practices and broader concepts of intertextuality in academic research writing. Participants were 34 undergraduate students, predominantly multilingual English writers, enrolled in an advanced writing course at a ...
Yiran Xu, J. Elliott Casal
wiley   +1 more source