Global view on reactivity: switch graphs and their logics (Q1935598): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4945233 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bringing them all Together / rank
 
Normal rank
Property / cites work
 
Property / cites work: Basic Model Theory for Memory Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal and Temporal Argumentation Networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representation, reasoning, and relational structures: a hybrid logic manifesto / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pure extensions, proof rules, and hybrid axiomatics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hybrid languages and temporal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3408862 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An approach to tense logic<sup>1</sup> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reactive automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of hypermodal logics: Mode shifting in modal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introducing reactive Kripke semantics and arc accessibility / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introducing Reactive Kripke Semantics and Arc Accessibility / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reactive Kripke Models and Contrary to Duty Obligations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reactive intuitionistic tableaux / rank
 
Normal rank
Property / cites work
 
Property / cites work: Many-dimensional modal logics: theory and applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal logics of reactive frames / rank
 
Normal rank
Property / cites work
 
Property / cites work: Defeasible inheritance systems and reactive diagrams / rank
 
Normal rank
Property / cites work
 
Property / cites work: REACTIVE PREFERENTIAL STRUCTURES AND NONMONOTONIC CONSEQUENCE / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of hierarchical consequence and conditionals / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal logic with names / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3703299 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic in Computer Science / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning about preferences in argumentation frameworks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modality and quantification in S5 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5556395 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4539599 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mechanizing Mathematical Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic logic for belief revision / rank
 
Normal rank
Property / cites work
 
Property / cites work: Branching-time logic with quantification over branches: The point of view of modal logic / rank
 
Normal rank

Revision as of 04:32, 6 July 2024

scientific article
Language Label Description Also known as
English
Global view on reactivity: switch graphs and their logics
scientific article

    Statements

    Global view on reactivity: switch graphs and their logics (English)
    0 references
    0 references
    0 references
    18 February 2013
    0 references
    dynamic logics
    0 references
    reactive logics
    0 references
    dynamic models
    0 references
    reactive graphs
    0 references
    switch graphs
    0 references
    modal logic
    0 references
    hybrid logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references