Results 11 to 20 of about 39,273,340 (170)
Forensic Dynamic Lukasiewicz Logic [PDF]
Transactions on Fuzzy Sets and Systems, 2022 A forensic dynamic $n$-valued Lukasiewicz logic $FDL_n$ is introduced on the base of $n$-valued Lukasiewicz logic $L_n$ and corresponding to it forensic dynamic $MV_n$-algebra ($FDL_n$-algebra), $1 < n < \omega$, which are algebraic counterparts of ...
Antonio Di Nola, Revaz Grigolia
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
On the relationship between hypersequent calculi and labelled sequent calculi for intermediate logics with geometric Kripke semantics [PDF]
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core +2 more sources
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
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
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
Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics
Axioms, 2021 Aristotelian diagrams, such as the square of opposition, are well-known in the context of normal modal logics (i.e., systems of modal logic which can be given a relational semantics in terms of Kripke models). This paper studies Aristotelian diagrams for
Lorenz Demey
doaj +1 more source
اسهامات شاول كريبك فى منطق الموجهات وفلسفة اللغة Saul Kripke's Contributions for Modal Logic and Philosophy of Language [PDF]
مجلة الدراسات الإنسانية والأدبية, 2023 شاول كريبك فيلسوف ومنطقي أمريكي معاصر ويعد أكثر الفلاسفة تأثيراً في الفلسفة التحليلية الإنجليزية المعاصرة منذ ستينيات القرن العشرين.تتركز إهتماماته في فلسفة اللغة، منطق الجهات، فلسفة الرياضيات والميتافيزيقا ونظرية المعرفة.مارس كريبك عدة مناصب، كان محاضراً
نادية السيد عبد القادر
doaj +1 more source
A sequent calculus for propositional temporal logic with time gaps
Lietuvos Matematikos Rinkinys, 2011 A sequent calculus with Kripke semantics internalization for a propositional temporal logic with time gaps is introduced. All rules of the calculus are context-free and height-preserving invertible. Structural rules are admissible.
Romas Alonderis
doaj +1 more source
Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs
Mathematical and Computational Applications, 2019 Preserving the confidentiality of information is a growing concern in software development. Secure information flow is intended to maintain the confidentiality of sensitive information by preventing them from flowing to attackers.
Ali A. Noroozi +2 more
doaj +1 more source