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 <>
Submitted on : Monday, June 7, 2021 - 5:23:50 PM
Last modification on : Wednesday, June 9, 2021 - 10:00:27 AM

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

25

Files downloads

37