Nested sequent calculi for normal conditional logics - Archive ouverte HAL Access content directly
Journal Articles Journal of Logic and Computation Year : 2015

Nested sequent calculi for normal conditional logics

(1) , (1) ,
1

Abstract

no abstract
Not file

Dates and versions

hal-01479542 , version 1 (28-02-2017)

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

Share

Gmail Facebook Twitter LinkedIn More