Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter [PDF]
, 2021 Mikhail Rybakov, Dmitry Shkatov
openalex +1 more source
Frontiers in Psychology, 2022 The “dynamic turn” in the field of second language acquisition catalyzed scholarly devotion to the complex dynamic relationships between learner and teacher variables and various academic emotions. As such, the present study examined the varying effects of the aforementioned variables on the constructs of positive and negative flow, and determined ...
openaire +3 more sources
Undecidability of QLTL and QCTL with two variables and one monadic predicate letter
, 2021 Mikhail Rybakov, Dmitry Shkatov
openalex +2 more sources
Efficient Inference with Multi-Place Predicates and Variables in a Connectionist System [PDF]
, 1989 The ability to represent structured knowledge and use that knowledge in a systematic way is a very important ingredient of cognition. A n often heard criticism of connection ism is that connectionists ystems cannot possess that ability. The work reported in this paper demonstrates that a connectionist system can not only represent structured knowledge ...
Ajjanagadde, Venkat, Shastri, Lokendra
openaire
UNIVERSAL RADIATION MODEL OF MICROWAVE ANTENNA
Надежность и качество сложных системBackground. The directional characteristics of microwave antennas are determined by the functional purpose of the radio engineering systems in which they are used.
Alexander N. Yakimov
doaj +1 more source
Explicit variable relations of the members of predicate groups (as exemplified by the either…or, neither…nor constructions in the modern English language) [PDF]
, 2018 Irina Nikolaevna Morozova +4 more
openalex +1 more source
Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
The paper presents a solution to the long-standing question about the decidability of the two-variable fragment of the superintuitionistic predicate logic $\mathbf{QLC}$ defined by the class of linear Kripke frames, which is also the `superintuitionistic' fragment of the modal predicate logic $\mathbf{QS4.3}$, under the Gödel translation. We prove that
openaire +2 more sources
The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$ [PDF]
Diego Castaño +3 more
openalex +1 more source
Probabilistic Distributional Semantics with Latent Variable Models
International Conference on Computational Logic, 2014 Diarmuid Ó Séaghdha, A. Korhonen
semanticscholar +1 more source