DOIAbstract
peer reviewedWe introduce reactive Kripke models for intuitionistic logic and show that the reactive semantics is stronger than the ordinary semantics. We develop Beth tableaux for the reactive semantic
peer reviewedWe introduce reactive Kripke models for intuitionistic logic and show that the reactive semantics is stronger than the ordinary semantics. We develop Beth tableaux for the reactive semantic
We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic lo...
Reactive programs are ubiquitous in modern applications, and so verification is highly desirable. We...
Abstract. Typical reactive system languages are programmed by means of rules of the form if antecede...
peer reviewedThe collection in this special issue contains mainly papers on reactive Kripke semanti...
peer reviewedOrdinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A a...
peer reviewedOrdinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A ...
peer reviewedThis paper introduces the idea of reactive semantics and reactive Beth tableaux for mo...
peer reviewedA reactive graph generalizes the concept of a graph by making it dynamic, in the sense...
peer reviewedA reactive graph generalizes the concept of a graph by making it dynamic, in the sense...
peer reviewedThis is an intuitive description of our approach to modelling contrary to duty obliga- ...
peer reviewedThe notion of reactive graph generalises the one of graph by allowing the base accessi...
Copyright © Cambridge University Press 2016.In previous work, we proposed a logic-based framework in...
Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on ...
This thesis is a study of intuitionistic semantics as presented by Beth [2] and Kripke [12], using t...
This thesis is a study of intuitionistic semantics as presented by Beth [2] and Kripke [12], using t...
We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic lo...
Reactive programs are ubiquitous in modern applications, and so verification is highly desirable. We...
Abstract. Typical reactive system languages are programmed by means of rules of the form if antecede...
peer reviewedThe collection in this special issue contains mainly papers on reactive Kripke semanti...
peer reviewedOrdinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A a...
peer reviewedOrdinary Kripke models are not reactive. When we evaluate (test/ measure) a formula A ...
peer reviewedThis paper introduces the idea of reactive semantics and reactive Beth tableaux for mo...
peer reviewedA reactive graph generalizes the concept of a graph by making it dynamic, in the sense...
peer reviewedA reactive graph generalizes the concept of a graph by making it dynamic, in the sense...
peer reviewedThis is an intuitive description of our approach to modelling contrary to duty obliga- ...
peer reviewedThe notion of reactive graph generalises the one of graph by allowing the base accessi...
Copyright © Cambridge University Press 2016.In previous work, we proposed a logic-based framework in...
Logic Production System (LPS) is a logic-based framework for modelling reactive behaviour. Based on ...
This thesis is a study of intuitionistic semantics as presented by Beth [2] and Kripke [12], using t...
This thesis is a study of intuitionistic semantics as presented by Beth [2] and Kripke [12], using t...
We introduce a reactive variant of SDL (standard deontic logic): SDLR1 (reactive standard deontic lo...
Reactive programs are ubiquitous in modern applications, and so verification is highly desirable. We...
Abstract. Typical reactive system languages are programmed by means of rules of the form if antecede...
Add to ORKG