Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀
- 1 January 2002
- journal article
- Published by Springer Nature in Studia Logica
- Vol. 71 (2) , 227-245
- https://doi.org/10.1023/a:1016500922708
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: