Introducing reactive Kripke semantics and arc accessibility
type: Item
instance of: scholarly article
title: Introducing reactive Kripke semantics and arc accessibility
zbMATH Open document ID: 1272.03097
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2013-02-18T00:00:00Z
full work available at URL: http://orbilu.uni.lu/handle/10993/15853
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03B62
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 6137028
zbMATH Keywords: modal logic
zbMATH Keywords: nonclassical logic
zbMATH Keywords: combined logics
zbMATH Keywords: logic in computer science
zbMATH Keywords: reactive Kripke semantics
zbMATH Keywords: arc accessibility
zbMATH Keywords: Kripke models
author: Dov Gabbay
MaRDI profile type: Publication
OpenAlex ID: W1848296822
cites work: Q4918403
cites work: Rule Systems for Run-time Monitoring: from EAGLE to RULER
cites work: Reactive automata
cites work: Q3669373
cites work: Q4894942
cites work: Q4217280
cites work: A theory of hypermodal logics: Mode shifting in modal logic
cites work: Semantics for higher level attacks in extended argumentation frames. I: Overview
cites work: Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations
cites work: Q4296748
cites work: Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report
cites work: Modal logics of reactive frames
cites work: Products of modal logics. Part 2: relativised quantifiers in classical logic
cites work: Computer Science Logic
cites work: Mechanizing Mathematical Reasoning
cites work: Logics of communication and change
DOI: 10.1007/S10472-012-9313-Y
Recommended article: Introducing Reactive Kripke Semantics and Arc Accessibility
Recommended article: Reactive Kripke Semantics
Recommended article: Kripke semantics for dependent type theory and realizability interpretations
Recommended article: Algebraic Kripke-style semantics for relevance logics
Recommended article: An implementation of Kripke-Kleene semantics
Recommended article: Q4010362
Recommended article: Constructive semantics for instantaneous reactions
Recommended article: Q2767039
Recommended article: Introduction to Cirquent Calculus and Abstract Resource Semantics
description: scientific article; zbMATH DE number 6137028