Jonas Rogger

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 2

Top Topics

Inference Rules

Top Venues

J. Comput. Syst. Sci.

Publications

Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
Decidability of order-based modal logics. J. Comput. Syst. Sci. 88 (2017)
Petr Cintula, Carles Noguera, Jonas Rogger
From Kripke to Neighborhood Semantics for Modal Fuzzy Logics. IPMU (2) (2016)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
A Finite Model Property for Gödel Modal Logics. TACL (2013)
Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger
A Finite Model Property for Gödel Modal Logics. WoLLIC (2013)