Results 31 to 40 of about 20,953 (186)
Equivalences for fair Kripke structures [PDF]
, 1994 We extend the notion of bisimulation to Kripke structures with fairness. We define equivalences that preserve fairness and are akin to bisimulation. Specifically we define an equivalence and show that it is complete in the sense that it is the coarsest equivalence that preserves the logic CTL* interpreted with respect to the fair paths.
Adnan Aziz +4 more
openaire +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
An efficient simulation algorithm on Kripke structures [PDF]
Acta Informatica, 2014 Conference version appeared in Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13)
openaire +4 more sources
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The usual epistemic model S5n for a multi-agent system is based on a Kripke frame, which is a graph whose edges are labeled with agents that do not distinguish between two states.
Éric Goubault +2 more
doaj +1 more source
Efficient Synthesis of Network Updates [PDF]
, 2015 Software-defined networking (SDN) is revolutionizing the networking industry, but current SDN programming platforms do not provide automated mechanisms for updating global configurations on the fly.
Cerny, Pavol +3 more
core +2 more sources
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
On the Essence and Identity of Numbers
Theoria, 2015 Taking as premises some intuitions about the essences of natural numbers, pluralities and sets, the paper offers an argument that the natural numbers could not be the “Zermelo numbers”, the “Von Neumann numbers”, the “Kripke numbers”, or the “positions ...
Mario Gómez-Torrente
doaj +1 more source
Estetika, 2020 Starting with Wittgenstein’s remark about his allegedly frequent visits to the performance of Wagner’s 'Die Meistersinger von Nürnberg,' the paper presents Wagner’s opera – being explicitly an opera about rules and rule-following – as a possible stimulus
Vojtěch Kolman
doaj +1 more source
On Model Checking Durational Kripke Structures [PDF]
, 2002 We consider quantitative model checking in durational Kripke structures (Kripke structures where transitions have integer durations) with timed temporal logics where subscripts put quantitative constraints on the time it takes before a property is satisfied.We investigate the conditions that allow polynomial-time model checking algorithms for timed ...
François Laroussinie +2 more
openaire +1 more source
An expressive completeness theorem for coalgebraic modal mu-calculi [PDF]
, 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.
Enqvist, Sebastian +2 more
core +6 more sources