Results 21 to 30 of about 8,779,065 (357)
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
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
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
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
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
Digital logic gates in soft, conductive mechanical metamaterials
Nature Communications, 2021 Integrated circuits utilize networked logic gates to compute Boolean logic operations that are the foundation of modern computation and electronics.
Charles El Helou +3 more
semanticscholar +1 more source
Hybrid Learning for General Type-2 TSK Fuzzy Logic Systems
Algorithms, 2017 This work is focused on creating fuzzy granular classification models based on general type-2 fuzzy logic systems when consequents are represented by interval type-2 TSK linear functions. Due to the complexity of general type-2 TSK fuzzy logic systems, a
Mauricio A. Sanchez +3 more
doaj +1 more source
Randomisation and Derandomisation in Descriptive Complexity Theory [PDF]
, 2010 We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP ...
A. Dawar +27 more
core +2 more sources
Temperature-Dependent Logic Behavior of Logic Transistors Based on WS2
IEEE Access, 2020 With the advantages of two-dimensional (2D) materials, the small footprint logic transistor architecture can realize the primary logic function (OR and AND) in a single cell.
Yan Xiong +6 more
doaj +1 more source
Logic as a Puzzle-Solving Activity
Análisis Filosófico, 2021 Some authors have recently argued in favor of anti-exceptionalism about logic. The general idea is that logic is not different from the other sciences, and its principles are as revisable as scientific principles. This paper has three sections.
Diego Tajer
doaj +1 more source