Results 131 to 140 of about 1,681 (204)

Monadic Second-order Logic for Parameterized Verification

, 1994
Much work in automatic verification considers families of similar finite-state systems. But an often overlooked property is that sometimes a single finite-state system can be used to describe a parameterized, infinite family of systems. Thus verification
Jensen, Jakob L., Jørgensen, Michael E., Klarlund, Nils   +2 more
core  

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Tesi, Matteo, Orlandelli, Eugenio; orcid:   +1 more
core   +1 more source

Choice functions and well-orderings over the infinite binary tree

Open Mathematics, 2010
Carayol Arnaud, Löding Christof, Niwinski Damian, Walukiewicz Igor   +3 more
doaj   +1 more source

Dancing together in virtual space: experiential and agentive dimensions of perceptual crossing support microactivities and dynamic embodiment in social cognition. [PDF]

Cogn Process
Wagemann J, Zapata-Fonseca L, Estelle S, Froese T.   +3 more
europepmc   +1 more source

The Monadic Second-Order Logic of Graphs XII: Planar graphs and planar maps

, 1998
We prove that we can specify by formulas of monadic second-order logic the unique planar embedding of a 3-connected planar graph. If the planar graph is not 3-connected but given with a linear order of its set of edges, we can also define a planar ...
Bruno Courcelle
core  

KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. [PDF]

PLoS One
Wang Z, Zhu X, Wang H, Yu Y, Lan Y.
europepmc   +1 more source

Monadic Second-Order Logic, Graphs and Unfoldings of Transition Systems

, 1995
We prove that every monadic second-order property of the unfoldingof a transition system is a monadic second-order property of thesystem itself.
Courcelle, Bruno, Walukiewicz, Igor
core  

Categorical framework for quantum-resistant zero-trust AI security. [PDF]

Sci Rep
Cherkaoui I, Clarke C, Horgan J, Dey I.
europepmc   +1 more source

Liangkang Ni on Husserl and Buddhism: a comparative phenomenological analysis. [PDF]

Front Psychol
Gutland C, Liu H.
europepmc   +1 more source

Social Support and Network Formation in a Small-Scale Horticulturalist Population. [PDF]

Sci Data, 2022
Simpson CR.
europepmc   +1 more source