Sergey Drobyshevich

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 6

Top Topics

Inference Rules

Top Venues

J. Log. Comput.

J. Philos. Log.

Rev. Symb. Log.

Publications

Sergey Drobyshevich, Daniel Skurt
Neighbourhood Semantics for FDE-Based Modal Logics. Stud Logica 109 (6) (2021)
Sergey Drobyshevich
Tarskian consequence relations bilaterally: some familiar notions. Synth. 198 (22-S) (2021)
Sergey Drobyshevich
A General Framework for FDE-Based Modal Logics. Stud Logica 108 (6) (2020)
Sergey Drobyshevich, Heinrich Wansing
Proof Systems for various FDE-based Modal Logics. Rev. Symb. Log. 13 (4) (2020)
Sergey Drobyshevich
A bilateral Hilbert-style investigation of 2-intuitionistic logic. J. Log. Comput. 29 (5) (2019)
Sergey Drobyshevich
Disentangling Structural Connectives or Life Without Display Property. J. Philos. Log. 48 (2) (2019)