Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.

Saved in:

Bibliographic Details
Title:	Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic.
Authors:	Kamide, Norihiro¹ (AUTHOR) drnkamide08@kpd.biglobe.ne.jp
Source:	Studia Logica. Dec2023, Vol. 111 Issue 6, p979-1014. 36p.
Database:	Mathematics Source

Description
ISSN:	00393215
DOI:	10.1007/s11225-023-10052-7