Results 171 to 180 of about 1,681 (204)
Affective Sensitivity to Air Pollution (ASAP): Person-specific associations between daily air pollution and affective states. [PDF]
PLoS OneNg M +4 more
europepmc +1 more source
One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic. [PDF]
ErkenntnisWansing H.
europepmc +1 more source
Quantitative Monadic Second-Order Logic
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013 While monadic second-order logic is a prominent logic for specifying languages of finite words, it lacks the power to compute quantitative properties, e.g. to count. An automata model capable of computing such properties are weighted automata, but logics equivalent to these automata have only recently emerged.
Stephan Kreutzer, Cristian Riveros
openaire +2 more sources
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras [PDF]
, 2015 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic MSO(T) interpreted over co algebras for an arbitrary set functor T.
Sebastian Enqvist, Yde Venema
exaly +2 more sources
Finite variability interpretation of monadic logic of order
Theoretical Computer Science, 2002 We consider an interpretation of monadic second-order logic of order in the continuous time structure of finitely variable signals. We provide a characterization of the expressive power of monadic logic.
Rabinovich, A.
exaly +2 more sources
Vertex-minors, monadic second-order logic, and a conjecture by Seese
Journal of Combinatorial Theory Series B, 2007 We prove that one can express the vertex-minor relation on finite undirected graphs by formulas of monadic second-order logic (with no edge set quantification) extended with a predicate expressing that a set has even cardinality.
Bruno Courcelle, Sang-Il Oum
exaly +2 more sources