scientific article

From MaRDI portal

Publication:2791888

Jump to:navigation, search

zbMath1338.03023MaRDI QIDQ2791888

R. Alonderis

Publication date: 16 March 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequent calculus temporal logic Kripke semantics internalization

Mathematics Subject Classification ID

Structure of proofs (03F07) Temporal logic (03B44)

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