Results 1 to 10 of about 1,478 (181)
Kripke-Style Models for Logics of Evidence and Truth
Axioms, 2020 In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical ...
Abilio Rodrigues Filho +2 more
exaly +3 more sources
Archive for Mathematical Logic, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Albert Visser
exaly +5 more sources
Refinement of Kripke Models for Dynamics [PDF]
Lecture Notes in Computer Science, 2008 We propose a property-preserving refinement/abstraction theory for Kripke Modal Labelled Transition Systems incorporating not only state mapping but also label and proposition lumping, in order to have a compact but informative abstraction. We develop a 3-valued version of Public Announcement Logic (PAL) which has a dynamic operator that changes the ...
Francien Dechesne, , Simona Orzan
exaly +3 more sources
Weak Arithmetics and Kripke Models
Mathematical Logic Quarterly, 2002 The paper contains two main results. The first shows that the intuitionistic least number principle for \(\Pi_1\) formulas is equivalent to the intuitionistic induction scheme for \(\Pi_1\) formulas. The other result is a characterization of those linear Kripke structures which decide all \(\Delta_0\)-formulas, and in which forcing and satisfaction for
Morteza Moniri
exaly +3 more sources
Kripke models for subtheories of CZF [PDF]
Archive for Mathematical Logic, 2009 In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructible sets and generic extensions. Under the main construction all axioms except the collection axioms can be shown to hold in the constructed Kripke model.
Rosalie Iemhoff
exaly +4 more sources
Empatica E4 wristband assessment of probable REM sleep behavior disorder in people with Parkinson's disease. Results from the DIGI.PARK study. [PDF]
Front NeurolBackgroundParkinson’s disease is frequently accompanied by Rapid Eye Movement (REM) sleep behavior disorder (RBD), causing individuals to physically act out their dreams.
Aaslestad L +9 more
europepmc +2 more sources
Composite reductions for Kripke models
Моделирование и анализ информационных систем, 2010 Kripke factor-model concept is investigated. It is shown, that every factor-model is representexl as a decomposition of several spexdal facctor-models, which groups of automorphisms are primes. Moreover, we show, that every finite group is isomorphic for
Y. A. Belov.
doaj +1 more source
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras [PDF]
Logical Methods in Computer Science, 2021 Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantale-valued functions relative to ternary relations. The resulting notion of relational convolution
Brijesh Dongol +2 more
doaj +1 more source
Synthese, 2023 Abstract In causal reasoning literature, the term actual causality is used to refer to the causality of some specific event that actually happened. One of the most prominent approaches for reasoning about actual causality is that of causal models developed by Halpern and Pearl (Pearl, Causality 2009, Halpern, British Journal for the ...
Ruoding Wang +4 more
openaire +4 more sources
Model Checking Social Network Models [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 A social network service is a platform to build social relations among people sharing similar interests and activities. The underlying structure of a social networks service is the social graph, where nodes represent users and the arcs represent the ...
Raúl Pardo, Gerardo Schneider
doaj +1 more source