Publications

Export 8 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Fervari, Raul  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
L
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
R. Fervari, “Relation-Changing Modal Logics”, 2014.PDF icon thesis.pdf (814.15 KB)
C. Areces, R. Fervari, and G. Hoffmann, “Relation-changing modal operators”, Logic Journal of the {IGPL}, vol. 23, p. 601–627, 2015.
S
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)
T
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)