Global view on reactivity: switch graphs and their logics

DOI10.1007/s10472-012-9316-8zbMath1272.03099OpenAlexW2075597035MaRDI QIDQ1935598

Sérgio Marcelino, 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: https://doi.org/10.1007/s10472-012-9316-8

zbMATH Keywords

modal logichybrid logicdynamic modelsswitch graphsdynamic logicsreactive graphsreactive logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in computer science (03B70) Other applications of logic (03B80) Combined logics (03B62)

Related Items

Relation-changing models meet paraconsistency ⋮ Introducing fuzzy reactive graphs: a simple application on biology

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reactive intuitionistic tableaux
• Reactive automata
• Reasoning about preferences in argumentation frameworks
• Pure extensions, proof rules, and hybrid axiomatics
• Modal logic with names
• Many-dimensional modal logics: theory and applications
• A theory of hypermodal logics: Mode shifting in modal logic
• Introducing reactive Kripke semantics and arc accessibility
• A theory of hierarchical consequence and conditionals
• Modal logics of reactive frames
• Bringing them all Together
• Basic Model Theory for Memory Logics
• Modality and quantification in S5
• REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE
• Reactive Kripke Models and Contrary to Duty Obligations
• Modal and Temporal Argumentation Networks
• Defeasible inheritance systems and reactive diagrams
• Dynamic logic for belief revision
• Hybrid languages and temporal logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Logic in Computer Science
• Branching-time logic with quantification over branches: The point of view of modal logic
• Introducing Reactive Kripke Semantics and Arc Accessibility
• An approach to tense logic¹
• Mechanizing Mathematical Reasoning

This page was built for publication: Global view on reactivity: switch graphs and their logics