scientific article; zbMATH DE number 1754689

From MaRDI portal

Publication:4535117

Jump to:navigation, search

zbMath0996.03019MaRDI QIDQ4535117

Jan Treur, Wiebe van der Hoek, John-Jules Ch. Meyer

Publication date: 4 November 2002

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

zbMATH Keywords

entailment relations temporal models epistemic default logic labeled branching time temporalization

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Temporal logic (03B44)

This page was built for publication:

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