Ben Moszkowski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Expressive completeness by separation for discrete time interval temporal logic with expanding modalities Information Processing Letters	2024-06-07	Paper
Correction Journal of Applied Non-Classical Logics	2023-05-17	Paper
A separation theorem for discrete-time interval temporal logic Journal of Applied Non-Classical Logics	2022-05-09	Paper
From box algebra to interval temporal logic Fundamenta Informaticae	2019-10-31	Paper
An application of temporal projection to interleaving concurrency Formal Aspects of Computing	2017-09-08	Paper
An application of temporal projection to interleaving concurrency Dependable Software Engineering: Theories, Tools, and Applications	2017-08-31	Paper
Compositional reasoning using intervals and time reversal Annals of Mathematics and Artificial Intelligence	2014-07-11	Paper
Verification and enforcement of access control policies Formal Methods in System Design	2014-06-30	Paper
Interconnections between classes of sequentially compositional temporal formulas Information Processing Letters	2014-05-26	Paper
A complete axiom system for propositional interval temporal logic with infinite time Logical Methods in Computer Science	2012-08-15	Paper
A hierarchical analysis of propositional temporal logic based on intervals	2011-07-06	Paper
A hierarchical completeness proof for propositional temporal logic Lecture Notes in Computer Science	2010-03-23	Paper
A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time Journal of Applied Non-Classical Logics	2009-11-11	Paper
Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals Journal Of Logic And Computation	2007-12-17	Paper
scientific article; zbMATH DE number 1670826 (Why is no real title available?)	2001-12-09	Paper
scientific article; zbMATH DE number 4076583 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4052975 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3901996 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3862427 (Why is no real title available?)	1984-01-01	Paper
scientific article; zbMATH DE number 3848604 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3589708 (Why is no real title available?)	1977-01-01	Paper

Research outcomes over time

This page was built for person: Ben Moszkowski