Nested sequent calculi for normal conditional logics
Abstract
no abstract
Journal Articles
Journal of Logic and Computation
Year : 2015
William Domingues Vinhas : Connect in order to contact the contributor
https://hal-amu.archives-ouvertes.fr/hal-01479542
Submitted on : Tuesday, February 28, 2017-8:38:52 PM
Last modification on : Friday, March 24, 2023-2:53:04 PM
Dates and versions
Identifiers
- HAL Id : hal-01479542 , version 1
Cite
Régis Alenda, Nicola Olivetti, Pozzato G.L.. Nested sequent calculi for normal conditional logics. Journal of Logic and Computation, 2015. ⟨hal-01479542⟩
51
View
0
Download