Sign in
Nikola Panic
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Belief Revision
Theorem Proving
Conditional Logic
Modus Ponens
Top Venues
AI*IA
CILC
</>
Publications
</>
Nikola Panic
,
Gian Luca Pozzato
Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle.
CILC
(2022)
Nicola Olivetti
,
Nikola Panic
,
Gian Luca Pozzato
Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together.
AI*IA
(2022)