Publications

Filters: Author is Fervari, Raul [Clear All Filters]

In Press

C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “The Modal Logic of Copy and Remove”, Information and Computation, In Press.

2015

C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “The Modal Logic of Copy and Remove”, Information and Computation, 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, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “Logics with Copy and Remove”, in Proceedings of the 21st Workshop on Logic, Language, Information and Computation (WoLLIC'14), Valparaíso, Chile, 2014.

R. Fervari, “Relation-Changing Modal Logics”, 2014.

thesis.pdf (814.15 KB)

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.