Results 31 to 40 of about 16,014 (243)
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
From Quantified CTL to QBF [PDF]
, 2019 QCTL extends the temporal logic CTL with quantifications over atomic propositions. This extension is known to be very expressive: QCTL allows us to express complex properties over Kripke structures (it is as expressive as MSO).
Hossain, Akash
core +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
Context Dependence, MOPs,WHIMs and procedures Recanati and Kaplan on Cognitive Aspects in Semantics [PDF]
, 2015 After presenting Kripke’s criticism to Frege’s ideas on context dependence of thoughts, I present two recent attempts of considering cognitive aspects of context dependent expressions inside a truth conditional pragmatics or semantics: Recanati’s non ...
C Penco +21 more
core +1 more source
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic [PDF]
Scientific Annals of Computer Science, 2016 Software product lines are now an established framework for software design. They are specified by special diagrams called feature models. For formal analysis, the latter are usually encoded by Boolean propositional theories.
Z. Diskin +3 more
doaj +1 more source
Categories for Dynamic Epistemic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic terms. We first review the category of relations and categories of Kripke frames, with particular emphasis ...
Kohei Kishida
doaj +1 more source
Interpreting Reo Circuits as PDL models
O Que Nos Faz Pensar, 2022 Reo is a coordination-based language with the proposal of connecting different systems and interfaces. It aims to develop communication between different systems with a high level of abstraction and without many restrictions.
Erick Grilo +2 more
doaj +1 more source
A Logical Foundation for Environment Classifiers [PDF]
, 2010 Taha and Nielsen have developed a multi-stage calculus {\lambda}{\alpha} with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fragments and variable declarations are annotated, and their ...
Atsushi Igarashi +2 more
core +2 more sources
Complete Additivity and Modal Incompleteness [PDF]
, 2019 In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem, `Syntactic aspects of modal incompleteness theorems,' and a longstanding open question: whether every normal modal logic can be ...
Holliday, Wesley H., Litak, Tadeusz
core +2 more sources
Dual-Context Calculi for Modal Logic [PDF]
, 2020 We present natural deduction systems and associated modal lambda calculi for the necessity fragments of the normal modal logics K, T, K4, GL and S4. These systems are in the dual-context style: they feature two distinct zones of assumptions, one of which
Kavvos, G. A.
core +4 more sources