scientific article

From MaRDI portal

Publication:3594284

Jump to:navigation, search

zbMath1137.03009MaRDI QIDQ3594284

Jurate Saskalauskaite

Publication date: 7 August 2007

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

zbMATH Keywords

sequent calculus branching time bundle semantics restricted cut rule temporal logic of knowledge and belief

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (1)

Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability

This page was built for publication:

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