Refinement modal logic (Q476194): Difference between revisions

From MaRDI portal
← Older edit
Importer (talk | contribs)
Bots
7,038,868 edits
‎Changed an Item
ReferenceBot (talk | contribs)
Bots
1,895,659 edits
‎Changed an Item
 
(7 intermediate revisions by 6 users not shown)
Property / author
 
Property / author: Hans P. van Ditmarsch / rank
Normal rank
 
Property / author
 
Property / author: Hans P. van Ditmarsch / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Z / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2073942343 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1202.3538 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992552 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5692280 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3396636 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rudiments of \(\mu\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: DEL-sequents for regression and epistemic planning / rank
 
Normal rank
Property / cites work
 
Property / cites work: ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’ / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3086937 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2744124 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Complexity of One-Agent Refinement Modal Logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3028984 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3336675 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski / rank
 
Normal rank
Property / cites work
 
Property / cites work: An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Note on Bisimulation Quantifiers and Fixed Points over Transitive Frames / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4845472 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal specifications for the control theory of discrete event systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional quantifiers in modal logic1 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3086938 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reasoning about information change / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arbitrary Action Model Logic and Action Model Synthesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Refinement Quantified Logics of Knowledge / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5419886 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4525781 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata for the modal μ-calculus and related results / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Expressivity and completeness for public update logics via reduction axioms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Module checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3085167 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Memoryless Determinacy of Parity Games / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal I/O Automata for Interface and Product Line Theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Infinite Games / rank
 
Normal rank
Property / cites work
 
Property / cites work: The undecidability of iterated modal relativization / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4301161 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Modal Interface Theory for Component-based Design / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematical Foundations of Computer Science 2003 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4739288 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complementation problem for Büchi automata with applications to temporal logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the control of discrete-event dynamical systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mechanizing Mathematical Reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5494230 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantifying Notes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Simulation and Information: Quantifying over Epistemic Events / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2904048 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic Epistemic Logic and Knowledge Puzzles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus. / rank
 
Normal rank
Property / cites work
 
Property / cites work: An Alternative Logic for Knowability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4501666 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4301167 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 08:37, 9 July 2024

scientific article
Language Label Description Also known as
English
Refinement modal logic
scientific article

    Statements

    title
    Refinement modal logic (English)
    0 references
    author
    Laura Bozzelli
    0 references
    Tim French
    0 references
    James Hales
    0 references
    Sophie Pinchinat
    0 references
    Hans P. van Ditmarsch
    0 references
    publication date
    28 November 2014
    0 references
    cites work
    Q3992552
    0 references
    Q5692280
    0 references
    Q3396636
    0 references
    Q3086937
    0 references
    Q2744124
    0 references
    Q3028984
    0 references
    Q3336675
    0 references
    Q4845472
    0 references
    Q3086938
    0 references
    Q5419886
    0 references
    Q4525781
    0 references
    Module checking
    0 references
    Q3085167
    0 references
    Infinite Games
    0 references
    Q4301161
    0 references
    Q4739288
    0 references
    Q5494230
    0 references
    Quantifying Notes
    0 references
    Q2904048
    0 references
    Q4501666
    0 references
    Q4301167
    0 references

    Identifiers

    zbMATH DE Number
    6375068
    0 references
    OpenAlex ID
    W2073942343
    0 references
    arXiv ID
    1202.3538
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q476194&oldid=35425663"
    Powered by MediaWiki