Introducing reactive Kripke semantics and arc accessibility

DOI10.1007/s10472-012-9313-yzbMath1272.03097OpenAlexW1848296822MaRDI QIDQ1935595

Dov M. Gabbay

Publication date: 18 February 2013

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/15853

zbMATH Keywords

modal logicKripke modelsnonclassical logiclogic in computer sciencecombined logicsarc accessibilityreactive Kripke semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Combined logics (03B62)

Related Items

Completeness theorems for reactive modal logics ⋮ Introducing reactive Kripke semantics and arc accessibility ⋮ Global view on reactivity: switch graphs and their logics ⋮ Reactive automata ⋮ Introducing Reactive Kripke Semantics and Arc Accessibility

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reactive automata
• Logics of communication and change
• A theory of hypermodal logics: Mode shifting in modal logic
• Introducing reactive Kripke semantics and arc accessibility
• Semantics for higher level attacks in extended argumentation frames. I: Overview
• Modal logics of reactive frames
• Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report
• Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations
• Rule Systems for Run-time Monitoring: from EAGLE to RULER
• Products of modal logics. Part 2: relativised quantifiers in classical logic
• Computer Science Logic
• Mechanizing Mathematical Reasoning

This page was built for publication: Introducing reactive Kripke semantics and arc accessibility