Results 31 to 40 of about 24,570,426 (223)
Implicit Kripke semantics and ultraproducts in stratified institutions [PDF]
Journal of Logic and Computation, 2016 We propose stratified institutions (a decade old generalised version of the theory of institutions of Goguen and Burstall) as a fully abstract model theoretic approach to modal logic.
R. Diaconescu
semanticscholar +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
Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking
IEEE transactions on fuzzy systems, 2021 Based on the Kripke structure, linear temporal logic and generalized possibility measure, this article studies the model checking problems of generalized possibilistic fuzzy linear temporal logic (GPoFTL).
Yongming Li, Jielin Wei
semanticscholar +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
Quantified CTL: Expressiveness and Complexity [PDF]
Logical Methods in Computer Science, 2014 While it was defined long ago, the extension of CTL with quantification over atomic propositions has never been studied extensively. Considering two different semantics (depending whether propositional quantification refers to the Kripke structure or to ...
François Laroussinie, Nicolas Markey
doaj +1 more source
The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic
Philosophies, 2022 This contribution is an essay of formal philosophy—and more specifically of formal ontology and formal epistemology—applied, respectively, to the philosophy of nature and to the philosophy of sciences, interpreted the former as the ontology and the ...
Gianfranco Basti
doaj +1 more source
Exploiting Belief Bases for Building Rich Epistemic Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 We introduce a semantics for epistemic logic exploiting a belief base abstraction. Differently from existing Kripke-style semantics for epistemic logic in which the notions of possible world and epistemic alternative are primitive, in the proposed ...
Emiliano Lorini
doaj +1 more source
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
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
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.
openaire +3 more sources