Results 51 to 60 of about 14,300 (195)
On the model checking of finite state transducers over semigroups
Труды Института системного программирования РАН, 2018 Sequential reactive systems represent programs that interact with the environment by receiving signals or requests and react to these requests by performing operations with data.
A. R. Gnatenko, V. A. Zakharov
doaj +1 more source
Implicit Kripke Semantics and Ultraproducts in Stratified Institutions
, 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.
Diaconescu, Răzvan
core +1 more source
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
Limits, Limitations, and Necessity in Margaret Macdonald
European Journal of Philosophy, EarlyView.ABSTRACT I offer a contribution to recent work on Margaret Macdonald (1903–1956), a prolific though largely unknown figure in the history of analytic philosophy who applied Wittgensteinian insights to a broad range of issues. Here I examine the development of Macdonald's views with respect to idealism and conventionalism, through the application of a ...
Oliver Thomas Spinney
wiley +1 more source
Generalized Strong Preservation by Abstract Interpretation
, 2006 Standard abstract model checking relies on abstract Kripke structures which approximate concrete models by gluing together indistinguishable states, namely by a partition of the concrete state space.
Ranzato, Francesco, Tapparo, Francesco
core +4 more sources
Compositional synthesis of maximally permissive supervisors using supervision equivalence [PDF]
, 2007 This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence.
Akesson, Knut +3 more
core +3 more sources
Journal of Sleep Research, EarlyView.ABSTRACT For athletes in endurance sports, who compete over several days and in unpredictable conditions, managing sleep–wake rhythms is critical to ensure optimal performance and minimise the risks to safety. Despite its growing popularity, the role of sleep management on ultracycling performance has received little attention.
Rémy Hurdiel +4 more
wiley +1 more source
Complexity of ITL model checking: some well-behaved fragments of the interval logic HS
, 2015 Model checking has been successfully used in many computer science fields, including artificial intelligence, theoretical computer science, and databases.
Molinari, A., Montanari, A., Peron, A.
core +1 more source
Embedding mental files in the world
Mind &Language, EarlyView.Cognitive scientific explanations can take either a mechanistic or design perspective. Some recent philosophical works propose to apply the mechanistic perspective to the influential mental file framework. The design perspective, however, remains underexplored.
Zhengxi Jin
wiley +1 more source
Pacific Philosophical Quarterly, EarlyView.ABSTRACT This paper is about the hierarchy view: that each word has infinitely many meanings, arranged into levels, with the level n meaning serving as its semantic value when it occurs embedded to degree n in indirect or attitude reporting verbs. Departing from the famous debates over the bare tenability of the hierarchy view, I focus on whether there
Mark McCullagh
wiley +1 more source