Results 21 to 30 of about 1,478 (181)
Intuitionistic implication makes model checking hard [PDF]
Logical Methods in Computer Science, 2012 We investigate the complexity of the model checking problem for intuitionistic and modal propositional logics over transitive Kripke models. More specific, we consider intuitionistic logic IPC, basic propositional logic BPL, formal propositional logic ...
Martin Mundhenk, Felix Weiss
doaj +1 more source
Local Search and the Evolution of World Models
Topics in Cognitive Science, EarlyView., 2023 Abstract An open question regarding how people develop their models of the world is how new candidates are generated for consideration out of infinitely many possibilities. We discuss the role that evolutionary mechanisms play in this process. Specifically, we argue that when it comes to developing a global world model, innovation is necessarily ...
Neil R. Bramley +3 more
wiley +1 more source
Kripke models for classical logic
Annals of Pure and Applied Logic, 2010 We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications.
Ilik, Danko, Lee, Gyesik, Herbelin, Hugo
openaire +4 more sources
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
Logical Methods in Computer Science, 2017 Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas.
Sebastian Enqvist +2 more
doaj +1 more source
Philosophical Issues from Kripke’s ‘Semantical Considerations on Modal Logic’
Principia: An International Journal of Epistemology, 2016 In ‘Semantical Considerations on Modal Logic’, Kripke articulates his project in the discourse of “possible worlds”. There has been much philosophical discussion of whether endorsement of the Kripke semantics brings ontological commitment to possible ...
John Divers
doaj +1 more source
Sleep Measurement Using Wrist-Worn Accelerometer Data Compared with Polysomnography
Sensors, 2022 This study determined if using alternative sleep onset (SO) definitions impacted accelerometer-derived sleep estimates compared with polysomnography (PSG). Nineteen participants (48%F) completed a 48 h visit in a home simulation laboratory.
John D. Chase +3 more
doaj +1 more source
A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic
International Journal of Mathematics and Mathematical Sciences, 2012 Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002 ...
Mitsuhiko Fujio
doaj +1 more source
Intuitionistic Layered Graph Logic: Semantics and Proof Theory [PDF]
Logical Methods in Computer Science, 2018 Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature.
Simon Docherty, David Pym
doaj +1 more source
Topological Structures of Fuzzy Modal Logics Based on Residuated Lattices
MathematicsThe purpose of this paper is to interpret fuzzy Kripke models as fuzzy information systems with objects and attributes. We introduce topological structures (interior, closure operators, Alexandrov pretopologies, Alexandrov precotopologies, fuzzy rough ...
Yong Chan Kim, Young-Hee Kim
doaj +1 more source
Моделирование и анализ информационных системThis paper uses the model checking method for an exact schedulability test of real-time systems running on multiprocessor platforms. To use this method, we formally describe real-time systems with an abstract scheduler as Kripke models.
Natalia O. Garanina
doaj +1 more source