Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

About the unification type of modal logic K5 and its extensions

Document type :
Preprints, Working Papers, ...
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03252589
Contributor : Philippe Balbiani Connect in order to contact the contributor
Submitted on : Monday, June 7, 2021 - 5:23:50 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:32 PM
Long-term archiving on: : Wednesday, September 8, 2021 - 7:48:22 PM

File

K5_unification_archives_HAL.pd...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03252589, version 1

Citation

Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi. About the unification type of modal logic K5 and its extensions. 2021. ⟨hal-03252589⟩

Share

Metrics

Record views

39

Files downloads

56