Local Fact Change Logic-Reference-Cited by-同舟云学术

Local Fact Change Logic

Published:2020 Issue: Volume: Page:73-96
ISSN:2364-4613
Container-title:Knowledge, Proof and Dynamics
language:
Short-container-title:

Author:

Thompson Declan

Publisher

Springer Singapore

Link

http://link.springer.com/content/pdf/10.1007/978-981-15-2221-5_5

Reference21 articles.

1. Areces, Carlos, Raul Fervari, Guillaume Hoffmann, and Mauricio Martel. 2017. Undecidability of Relation-Changing Modal Logics. In Dynamic Logic. New Trends and Applications, vol. 23, 1–16. Lecture Notes in Computer Science. Cham: Springer. ISBN: 978-3-319-73578-8 978-3- 319-73579-5.

2. Areces, Carlos. 2007. Hybrid Logics: The Old and The New. In Proceedings of LogKCA-07, 15–29.

3. Areces, Carlos, Diego Figueira, Santiago Figueira, and Sergio Mera. 2011. The Expressive Power of Memory Logics. The Review of Symbolic Logic 4 (02): 290–318.

4. Aucher, Guillaume, Philippe Balbiani, Luis Fariñas del Cerro, and Andreas Herzig. 2009. Global and Local Graph Modifiers. Electronic Notes in Theoretical Computer Science 231(25): 293–307; In Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007).

5. Aucher, Guillaume, Johan van Benthem, and Davide Grossi. 2018. Modal Logics of Sabotage Revisited. Journal of Logic and Computation 28 (2): 269–303.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bisimulation in model-changing modal logics: An algorithmic study;Journal of Logic and Computation;2023-08-24

2. A Simple Logic of the Hide and Seek Game;Studia Logica;2023-05-17

3. A Modal Logic for Supervised Learning;Journal of Logic, Language and Information;2022-03-28

4. Hybrid sabotage modal logic;Journal of Logic and Computation;2022-03-10

5. On the Subtle Nature of a Simple Logic of the Hide and Seek Game;Logic, Language, Information, and Computation;2021