Tense operators on spaces of numerical events

DOI10.1007/s10773-013-1820-zzbMath1302.81033OpenAlexW2057780004MaRDI QIDQ472715

Helmut Länger, Ivan Chajda

Publication date: 19 November 2014

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-013-1820-z

zbMATH Keywords

statetemporal logictense operatorsfull set of statesspace of numerical events

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Temporal logic (03B44)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Spaces of abstract events
• Tense operators on basic algebras
• Algebraic axiomatization of tense intuitionistic logic
• Testing for classicality of a physical system
• Dynamic effect algebras and their representations
• On a cryptographical characterization of classical and nonclassical event systems
• On algebras of multidimensional probabilities
• On a characterization of classical and nonclassical probabilities
• On the characterization of probabilities: A generalization of Bell’s inequalities