Deriving Inverse Operators for Modal Logic-Reference-Cited by-同舟云学术

Deriving Inverse Operators for Modal Logic

Published:2016 Issue: Volume: Page:214-232
ISSN:0302-9743
Container-title:Theoretical Aspects of Computing – ICTAC 2016
language:
Short-container-title:

Author:

Guzmán Michell,Perchy Salim,Rueda Camilo,Valencia Frank D.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-46750-4_13

Reference26 articles.

1. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., et al. (ed.) Handbook of Logic in Computer Science, vol. 3, pp. 1–168. Oxford University Press, Oxford (1994)

2. Blackburn, P., De Rijke, M., Venema, Y.: Modal Logic, 1st edn. Cambridge University Press, Cambridge (2002)

3. Boer, F.S., Di Pierro, A., Palamidessi, C.: Nondeterminism and infinite computations in constraint programming. Theor. Comput. Sci. 151, 37–78 (1995)

4. Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford Logic Guides, vol. 35 (1997)

5. Lecture Notes in Computer Science;R Nicola De,1990

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

1. Reasoning about distributed information with infinitely many agents;Journal of Logical and Algebraic Methods in Programming;2021-06

2. Semantic Structures for Spatially-Distributed Multi-Agent Systems;Electronic Proceedings in Theoretical Computer Science;2019-08-22

3. Toward a Formal Model for Group Polarization in Social Networks;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019

4. Characterizing right inverses for spatial constraint systems with applications to modal logic;Theoretical Computer Science;2018-10