Flow of time in BST/BCont models and related semantical observations

zbMATH Open1273.03065MaRDI QIDQ2856089FDOQ2856089

Petr Švarný

Publication date: 23 October 2013

zbMATH Keywords

semanticscontinuationsbranching temporal logics

Mathematics Subject Classification ID

Physics (00A79) Temporal logic (03B44)

Cited In (2)

• Title not available (Why is that?)
• Does branching explain flow of time or the other way around?

This page was built for publication: Flow of time in BST/BCont models and related semantical observations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2856089)