Results 11 to 20 of about 1,769,180 (284)
What is transcendental logic? [PDF]
Кантовский сборник, 2010 This article deals with Kant's justification of transcendental logic. The author shows how Kant draws the distinction between general and transcendental logic.
Semenov V. Ye.
doaj +1 more source
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
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
Дискурс, 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
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
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
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 +2 more sources
PSPACE Bounds for Rank-1 Modal Logics [PDF]
, 2006 For lack of general algorithmic methods that apply to wide classes of logics, establishing a complexity bound for a given modal logic is often a laborious task. The present work is a step towards a general theory of the complexity of modal logics.
Pattinson, Dirk, Schröder, Lutz
core +7 more sources
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