Results 11 to 20 of about 86,056 (174)
Two-variable Logic with Counting and a Linear Order [PDF]
Logical Methods in Computer Science, 2016 We study the finite satisfiability problem for the two-variable fragment of first-order logic extended with counting quantifiers (C2) and interpreted over linearly ordered structures.
Witold Charatonik, Piotr Witkowski
doaj +1 more source
Decidability of predicate logics with team semantics [PDF]
, 2016 We study the complexity of predicate logics based on team semantics. We show that the satisfiability problems of two-variable independence logic and inclusion logic are both NEXPTIME-complete.
Kontinen, Juha +2 more
core +3 more sources
FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems [PDF]
Logical Methods in Computer Science, 2016 A data tree is an unranked ordered tree where each node carries a label from a finite alphabet and a datum from some infinite domain. We consider the two variable first order logic FO2(
Florent Jacquemard +2 more
doaj +1 more source
THE PROCEDURE DIRECTED SEARCH FOR SPECIFIC OPERATIONS ON ALGORITHMS
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, 2016 In this paper we propose a method for representing various-valued logic function in a logical neural network. This logical neural network will keep the totality of cause-andeffect relationships identified using various-valued logic functions with-in a ...
Dimitrichenko D. P.
doaj +1 more source
The syntax and compositional semantics of English ONE
Lexique, 2020 In this paper, I analyse the syntax and compositional semantics of the unity cardinal one in English. I argue that the three different uses of one, namely as a determiner, as a DP pronoun and as a prosortal can be accounted for with a single ...
Gerhard Schaden
doaj +1 more source
Ad hoc properties and locations in Maltese
LingBaW, 2015 This paper aims to show that the four-way BE-system of Maltese can best be accommodated in a theory of non-verbal predication that builds on alternative states, without making any reference to the Davidsonian spatio-temporal event variable. The existing
Gréte Dalmi
doaj +1 more source
A Type-Directed Negation Elimination [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform any well-formed formula into an equivalent formula without negations ...
Etienne Lozes
doaj +1 more source
A Sociological Investigation of the Social Deprivation of Zabol's Rural Girls and Its Related Factors [PDF]
Taḥqīqāt-i Farhangī-i Īrān, 2018 Social deprivation is a fact that some people are so much more exposed than others. But among them, demographic groups of single girls in rural areas are those who are severely affected by social Deprivation.
M. Farahmand, F. Foruzandeh
doaj +1 more source
Games of Partial Information and Predicates of Personal Taste [PDF]
, 2016 A predicate of personal taste occurring in a sentence in which the perspectival information is not linguistically articulated by an experiencer phrase may have two different readings.
Hîncu, Mihai
core +1 more source
The Church Synthesis Problem with Parameters [PDF]
Logical Methods in Computer Science, 2007 For a two-variable formula ψ(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of an operator Y=F(X) such that ψ(X,F(X)) is universally valid over Nat.
Alexander Rabinovich
doaj +1 more source