Preferential Reasoning for Modal Logics - Archive ouverte HAL Access content directly
Journal Articles Electronic Notes in Theoretical Computer Science (ENTCS) Year : 2011

Preferential Reasoning for Modal Logics

Katarina Britz
  • Function : Author
Thomas Meyer
Ivan Varzinczak
Not file

Dates and versions

hal-03673921 , version 1 (20-05-2022)

Identifiers

  • HAL Id : hal-03673921 , version 1

Cite

Katarina Britz, Thomas Meyer, Ivan Varzinczak. Preferential Reasoning for Modal Logics. Electronic Notes in Theoretical Computer Science (ENTCS), 2011, 278, pp.55-69. ⟨hal-03673921⟩
2 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More