Nested sequent calculi for normal conditional logics - Aix-Marseille Université Access content directly
Journal Articles Journal of Logic and Computation Year : 2015

Nested sequent calculi for normal conditional logics

Abstract

no abstract
No 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