scientific article; zbMATH DE number 6863877

From MaRDI portal

Publication:4636310

Jump to:navigation, search

zbMath1385.03027MaRDI QIDQ4636310

Valentin Shehtman

Publication date: 23 April 2018

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

zbMATH Keywords

modal logic filtration finite model property temporal logic canonical model local tabularity modal product

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

This page was built for publication:

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