Remo Goetschi

According to our database, Remo Goetschi authored at least 3 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Realization for justification logics via nested sequents: Modularity through embedding.

Remo Goetschi, Roman Kuznets

Ann. Pure Appl. Log., 2012

2011

Constructive Realization in Justification Logics via Nested Sequents.

Remo Goetschi

Proceedings of the TABLEAUX 2011, 2011

2010

A Syntactic Realization Theorem for Justification Logics.

Kai Brünnler, Remo Goetschi, Roman Kuznets

Proceedings of the Advances in Modal Logic 8, 2010