Publications

Filters: Author is Hoffmann, G. [Clear All Filters]

2015

C. Areces, R. Fervari, and G. Hoffmann, “Relation-changing modal operators”, Logic Journal of the {IGPL}, vol. 23, p. 601–627, 2015.

2014

C. Areces, R. Fervari, and G. Hoffmann, “Swap logic”, Logic Journal of IGPL, vol. 22, no. 2, p. 309-332, 2014.

swap-op.pdf (459.55 KB)

2013

C. Areces, R. Fervari, and G. Hoffmann, “Tableaux for Relation-Changing Modal Logics”, in Frontiers of Combining Systems, 2013.

frocos13.pdf (369.18 KB)

2012

C. Areces, R. Fervari, and G. Hoffmann, “Moving Arrows and Four Model Checking Results”, in Proceedings of WoLLIC 2012, Buenos Aires, Argentina, 2012.

C. Areces, G. Hoffmann, and E. Orbe, “Symmetries in Modal Logics: A Coinductive Approach”, in Proceedings of the 7th Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012), Rio de Janeiro, 2012.