Copy and remove as dynamic operators
From MaRDI portal
Publication:5861999
DOI10.1080/11663081.2021.1964327OpenAlexW3195213176MaRDI QIDQ5861999
Raul Fervari, Carlos Areces, François Schwarzentruber, Bastien Maubert, Hans P. van Ditmarsch
Publication date: 3 March 2022
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.2021.1964327
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Action emulation
- What will they say? -- Public announcement games
- Undecidability of relation-changing modal logics
- Dynamic epistemic logics of introspection
- Modal and guarded characterisation theorems over finite transition systems
- Introspection as an action in relational models
- Arrow update synthesis
- Axiomatizing the logical core of XPath 2.0
- Axiomatising logics with separating conjunction and modalities
- Dynamic epistemic logic with communication actions
- The modal logic of copy and remove
- Composing models
- Moving Arrows and Four Model Checking Results
- Logics with Copy and Remove
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- ARROW UPDATE LOGIC
- Dynamic Epistemic Logic and Knowledge Puzzles
- Simulation and Information: Quantifying over Epistemic Events
- Learning and Teaching as a Game: A Sabotage Approach
- Public announcements, public assignments and the complexity of their logic
- Separation logics and modalities: a survey
- Modal logics of sabotage revisited
- Satisfiability for relation-changing logics
- Relation-changing modal operators: Fig. 1.
- Global and Local Graph Modifiers
- Modal Logics with Composition on Finite Forests
- Losing connection: the modal logic of definable link deletion
- Swap logic
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- The power of modal separation logics
- Mathematical Foundations of Computer Science 2003
- Mechanizing Mathematical Reasoning
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
This page was built for publication: Copy and remove as dynamic operators