Results 321 to 330 of about 1,803,872 (361)

An existential fragment of second order logic [PDF]

Archive for Mathematical Logic, 1999
The author deals with the set SO(\(\exists\)) of those second-order sentences in a finite relational signature, whose quantifier prefix is an arbitrary string of second-order quantifiers followed by a string of existential first-order quantifiers. This fragment of second-order logic is shown to be decidable with respect to finite satisfiability; some ...
openaire   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

On Constructive Fragments of Classical Logic

2014
In the late twenties and early thirties of the last century several results were obtained concerning relations between classical logic (CL) and intuitionistic logic. Glivenko, Kolmogorov, Godel, Gentzen and Kuroda, this last appeared in 1950, provided well-known interpretations of classical logic into intuitionistic logic, in this way transferring ...
Edward Hermann Haeusler, Luiz Carlos Pereira   +1 more
openaire   +2 more sources

The Monodic Fragment of Propositional Term Modal Logic

Studia Logica: An International Journal for Symbolic Logic, 2018
A. Padmanabha, Ramaswamy Ramanujam
semanticscholar   +1 more source

A DNA logic gate based on strand displacement reaction and rolling circle amplification, responding to multiple low-abundance DNA fragment input signals, and its application in detecting miRNAs.

Chemical Communications, 2015
Yuqi Chen, Yanyan Song, Fan Wu, Wenting Liu, Bo-Shi Fu, Bingkun Feng, Xiang Zhou   +6 more
semanticscholar   +1 more source

PDL Is the Bisimulation-Invariant Fragment of Weak Chain Logic

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
Facundo Carreiro
semanticscholar   +1 more source

Algebraic Characterizations for Universal Fragments of Logic

Mathematical Logic Quarterly, 1999
AbstractIn this paper we address our efforts to extend the well‐known connection in equational logic between equational theories and fully invariant congruences to other–possibly infinitary–logics. In the special case of algebras, this problem has been formerly treated by H. J. Hoehnke [10] and R. W. Quackenbush [14].
openaire   +3 more sources

The decidability of the intensional fragment of classical linear logic

Theoretical Computer Science, 2015
K. Bimbó
semanticscholar   +1 more source

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT

2011 Eighteenth International Symposium on Temporal Representation and Reasoning, 2014
D. Bresolin, Dario Della Monica, A. Montanari, G. Sciavicco   +3 more
semanticscholar   +1 more source

Optimal control of non-deterministic systems for a computationally efficient fragment of temporal logic

IEEE Conference on Decision and Control, 2013
Eric M. Wolff, U. Topcu, R. Murray
semanticscholar   +1 more source

Superposition Decides the First-Order Logic Fragment Over Ground Theories

Mathematics and Computer Science, 2012
E. Kruglov, Christoph Weidenbach
semanticscholar   +1 more source