Results 11 to 20 of about 1,785,243 (284)
Theoretical Computer Science, 2009 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Popescu, A., Roşu, G.
openaire +2 more sources
Dependence logic with generalized quantifiers: Axiomatizations [PDF]
Journal of Computer and System Sciences, 2013 We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as "there exists uncountable many." Both of the ...
Engström, F. +2 more
openaire +8 more sources
Determinants of Judgments of Explanatory Power: Credibility, Generality, and Statistical Relevance
Frontiers in Psychology, 2017 Explanation is a central concept in human psychology. Drawing upon philosophical theories of explanation, psychologists have recently begun to examine the relationship between explanation, probability and causality.
Matteo Colombo +2 more
doaj +1 more source
Дискурс, 2020 Introduction. The article continues the series of publications on the linguistics of relations (hereinafter R–linguistics) and is devoted to an introduction to the logic of natural language in relation to the approach considered in the series.
O. M. Polyakov
doaj +1 more source
CONCEPTUAL FRAME OF A TRAINING CURRICULUM: A REQUIREMENT FOR THE APPROPRIATION OF TEACHER TRAINING SCHOOLS FOR GENERAL EDUCATION’ CURRICULA IN CAMEROON [PDF]
Analele Universităţii din Craiova. Psihologie, Pedagogie, 2022 The contribution aims to examine the role and meaning of the conceptual framework in the operation of a training curriculum according to the Competency Based Approach (CBA).
Anne MATOUWE
doaj +1 more source
Model Checking Linear Logic Specifications [PDF]
, 2003 The overall goal of this paper is to investigate the theoretical foundations of algorithmic verification techniques for first order linear logic specifications.
Bozzano, M., Delzanno, G., Martelli, M.
core +1 more source
Satisfiability vs. Finite Satisfiability in Elementary Modal Logics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2012 We study elementary modal logics, i.e. modal logic considered over first-order definable classes of frames. The classical semantics of modal logic allows infinite structures, but often practical applications require to restrict our attention to finite ...
Jakub Michaliszyn +2 more
doaj +1 more source
Sequent calculus for logic of correlated knowledge
Lietuvos Matematikos Rinkinys, 2011 Sound and complete sequent calculi for general epistemic logic and logic of correlated knowledge are presented in this paper.
Haroldas Giedra +1 more
doaj +1 more source
Stability of Stochastic Delay Differential Systems With Variable Impulses Due to Logic Choice
IEEE Access, 2021 This paper is concerned with stability problems of stochastic delay differential systems with variable impulses due to logic choice. Firstly, a class of variable impulses due to logic choice is introduced in this paper which is more general than the ...
Chunxiang Li
doaj +1 more source
Internal Calculi for Separation Logics [PDF]
, 2020 We present a general approach to axiomatise separation logics with heaplet semantics with no external features such as nominals/labels. To start with, we design the first (internal) Hilbert-style axiomatisation for the quantifier-free separation logic SL(
, Lozes, Etienne, Mansutti, Alessio
core +3 more sources