Satisfiability for relation-changing logics-Reference-Cited by-同舟云学术

Satisfiability for relation-changing logics

Published:2018-08-13 Issue:7 Volume:28 Page:1443-1470
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

Areces Carlos¹²,Fervari Raul¹²,Hoffmann Guillaume¹²,Martel Mauricio²

Affiliation:

1. FaMAF, Universidad Nacional de Córdoba, Argentina and Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), Argentina

2. Fachbereich Mathematik und Informatik, Universität Bremen, Germany

Funder

Foundation for Laboratory Medicine

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/28/7/1443/26152917/exy022.pdf

Reference40 articles.

1. C. Areces . Hybrid logics: the old and the new. In Proceedings of LogKCA-07, pp. 15–29, 2007.

2. C. Areces , P.Blackburn and M.Marx. A road-map on complexity for hybrid logics. In Computer Science Logic,J. Flum and M. Rodríguez-Artalejo, eds, pp. 307–321. Number 1683 in Lecture Notes in Computer Science, Springer, Madrid, Spain, 1999.

3. C. Areces , R.Fervari and G.Hoffmann. Moving arrows and four model checking results. In Logic, Language, Information and Computation. vol. 7456 of Lecture Notes in Computer Science, pp. 142–153, Springer, 2012.

4. C. Areces , R.Fervari and G.Hoffmann. Tableaux for relation-changing modal logics. In Frontiers of Combining Systems. Vol. 8152 of Lecture Notes in Computer Science, pp. 263–278, 2013.

5. Swap logic;Areces;Logic Journal of the IGPL,2014

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

1. Axiomatization of Hybrid Logic of Link Variations;Lecture Notes in Computer Science;2024

2. To be announced;Information and Computation;2023-06

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

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

5. Copy and remove as dynamic operators;Journal of Applied Non-Classical Logics;2021-08-23