Interpolation theorems for some variants of LTL

From MaRDI portal

Publication:4596923

Jump to:navigation, search

DOI10.4467/20842589RM.15.001.3910zbMath1436.03123OpenAlexW2189855648MaRDI QIDQ4596923

Norihiro Kamide

Publication date: 11 December 2017

Full work available at URL: https://www.ejournals.eu/rml/2015/Number-50/art/5718/

zbMATH Keywords

sequent calculus infinitary logic paraconsistent logic linear-time temporal logic Craig interpolation theorem

Mathematics Subject Classification ID

Temporal logic (03B44) Interpolation, preservation, definability (03C40) Paraconsistent logics (03B53)

Related Items (1)

Interpolation-Based GR(1) Assumptions Refinement

This page was built for publication: Interpolation theorems for some variants of LTL

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4596923&oldid=18753347"