Standard Completeness Theorem for PMTL Logic

From Mathfuzzlog

Jump to: navigation, search
Authors:
Rostislav Horčík
Title: Standard Completeness Theorem for ΠMTL Logic
Journal: Archive for Mathematical Logic
Volume 44
Number 4
Pages: 413-424
Year: 2005
Retrieved from "http://www.mathfuzzlog.org/index.php/Standard_Completeness_Theorem_for_PMTL_Logic"
Personal tools