Publications

Export 8 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Fervari, Raul  [Clear All Filters]
Conference Paper
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.
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, R. Fervari, and G. Hoffmann, “Tableaux for Relation-Changing Modal Logics”, in Frontiers of Combining Systems, 2013.PDF icon frocos13.pdf (369.18 KB)
Journal Article
C. Areces, H. van Ditmarsch, R. Fervari, and F. Schwarzentruber, “The Modal Logic of Copy and Remove”, Information and Computation, In Press.
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.
C. Areces, R. Fervari, and G. Hoffmann, “Swap logic”, Logic Journal of IGPL, vol. 22, no. 2, p. 309-332, 2014.PDF icon swap-op.pdf (459.55 KB)