Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic

Kamide, N

Kamide, N (reprint author), Teikyo Univ, Fac Sci & Engn, Dept Informat & Elect Engn, Toyosatodai 1-1, Utsunomiya, Tochigi 3208551, Japan.

JOURNAL OF LOGIC AND COMPUTATION, 2017; 27 (7): 2271

Abstract

The relationship among first-order monadic omega-logic (MOL), propositional (until-free) linear-time temporal logic (LTL), propositional generalized d......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索