Remo Goetschi

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Desirable Properties

Conditional Logic

Expressive Power

Top Venues

Ann. Pure Appl. Log.

Publications

Remo Goetschi, Roman Kuznets
Realization for justification logics via nested sequents: Modularity through embedding. Ann. Pure Appl. Log. 163 (9) (2012)
Remo Goetschi
Constructive Realization in Justification Logics via Nested Sequents. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Kai Brünnler, Remo Goetschi, Roman Kuznets
A Syntactic Realization Theorem for Justification Logics. Advances in Modal Logic (2010)