Expressive completeness by separation for discrete time interval temporal logic with expanding modalities.

Ben C. Moszkowski

Dimitar P. Guelev Ben C. Moszkowski Expressive completeness by separation for discrete time interval temporal logic with expanding modalities. 106480 2024 186 Inf. Process. Lett. https://doi.org/10.1016/j.ipl.2024.106480 https://www.wikidata.org/entity/Q128629470 db/journals/ipl/ipl186.html#GuelevM24 streams/journals/ipl

Dimitar P. Guelev Ben C. Moszkowski A separation theorem for discrete-time interval temporal logic. 28-54 2022 32 J. Appl. Non Class. Logics 1 https://doi.org/10.1080/11663081.2022.2050135 db/journals/jancl/jancl32.html#GuelevM22

Hanna Klaudel Maciej Koutny Zhenhua Duan Ben C. Moszkowski From Box Algebra to Interval Temporal Logic. 323-354 2019 167 Fundam. Informaticae 4 https://doi.org/10.3233/FI-2019-1820 https://www.wikidata.org/entity/Q127547241 db/journals/fuin/fuin167.html#KlaudelKDM19

Ben C. Moszkowski Dimitar P. Guelev An application of temporal projection to interleaving concurrency. 705-750 2017 29 Formal Aspects Comput. 4 https://doi.org/10.1007/s00165-017-0417-3 db/journals/fac/fac29.html#MoszkowskiG17

Hanna Klaudel Maciej Koutny Ben C. Moszkowski From Petri Nets with Shared Variables to ITL. 11-18 2016 ACSD https://doi.org/10.1109/ACSD.2016.12 https://doi.ieeecomputersociety.org/10.1109/ACSD.2016.12 conf/acsd/2016 db/conf/acsd/acsd2016.html#KlaudelKM16 Ben C. Moszkowski Dimitar P. Guelev An Application of Temporal Projection to Interleaving Concurrency. 153-167 2015 SETTA https://doi.org/10.1007/978-3-319-25942-0_10 conf/setta/2015 db/conf/setta/setta2015.html#MoszkowskiG15

Ben C. Moszkowski Dimitar P. Guelev Martin Leucker Guest editors' preface to special issue on interval temporal logics. 1-9 2014 71 Ann. Math. Artif. Intell. 1-3 https://doi.org/10.1007/s10472-014-9417-7 db/journals/amai/amai71.html#MoszkowskiGL14

Ben C. Moszkowski Compositional reasoning using intervals and time reversal. 175-250 2014 71 Ann. Math. Artif. Intell. 1-3 https://doi.org/10.1007/s10472-013-9356-8 db/journals/amai/amai71.html#Moszkowski14

Antonio Cau Helge Janicke Ben C. Moszkowski Verification and enforcement of access control policies. 450-492 2013 43 Formal Methods Syst. Des. 3 https://doi.org/10.1007/s10703-013-0187-3 db/journals/fmsd/fmsd43.html#CauJM13

Ben C. Moszkowski Interconnections between classes of sequentially compositional temporal formulas. 350-353 2013 113 Inf. Process. Lett. 9 https://doi.org/10.1016/j.ipl.2013.02.005 db/journals/ipl/ipl113.html#Moszkowski13

Ben C. Moszkowski A Complete Axiom System for Propositional Interval Temporal Logic with Infinite Time https://doi.org/10.2168/LMCS-8(3:10)2012 http://arxiv.org/abs/1207.3816 https://www.wikidata.org/entity/Q114005218 2012 Log. Methods Comput. Sci. 8 3 db/journals/lmcs/lmcs8.html#abs-1207-3816

Ben C. Moszkowski Mark Reynolds 0001 Paolo Terenziani 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012 IEEE Computer Society 2012 978-1-4673-2659-9 https://ieeexplore.ieee.org/xpl/conhome/6310179/proceeding http://www.computer.org/web/csdl/index/-/csdl/proceedings/time/2012/4802/00/index.html TIME db/conf/time/time2012.html Ben C. Moszkowski Compositional Reasoning Using Intervals and Time Reversal. 107-114 2011 TIME https://doi.org/10.1109/TIME.2011.25 https://doi.ieeecomputersociety.org/10.1109/TIME.2011.25 conf/time/2011 db/conf/time/time2011.html#Moszkowski11

Ben C. Moszkowski Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals. 333-409 2007 17 J. Log. Comput. 2 https://doi.org/10.1093/logcom/exm006 db/journals/logcom/logcom17.html#Moszkowski07

Ben C. Moszkowski A Hierarchical Analysis of Propositional Temporal Logic Based on Intervals http://arxiv.org/abs/cs/0601008 2006 CoRR abs/cs/0601008 db/journals/corr/corr0601.html#abs-cs-0601008

Ben C. Moszkowski A Hierarchical Analysis of Propositional Temporal Logic based on Intervals. 371-440 2005 conf/birthday/2005gabbay2 We Will Show Them! (2) db/conf/birthday/Gabbay2.html#Moszkowski05

Ben C. Moszkowski A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time. 55-104 2004 14 J. Appl. Non Class. Logics 1-2 db/journals/jancl/jancl14.html#Moszkowski04 https://doi.org/10.3166/jancl.14.55-104

Ben C. Moszkowski A Hierarchical Completeness Proof for Propositional Temporal Logic. 480-523 https://doi.org/10.1007/978-3-540-39910-0_22 2003 conf/birthday/2003manna Verification: Theory and Practice db/conf/birthday/Manna2003.html#Moszkowski03

Antonio Cau Roger Hale Jordan Dimitrov Hussein Zedan Ben C. Moszkowski M. Manjunathaiah Michael Spivey A Compositional Framework for Hardware/Software Co-Design. 367-399 2002 6 Des. Autom. Embed. Syst. 4 https://doi.org/10.1023/A:1016507527035 db/journals/dafes/dafes6.html#CauHDZMMS02

Ben C. Moszkowski An Automata-Theoretic Completeness Proof for Interval Temporal Logic. 223-234 https://doi.org/10.1007/3-540-45022-X_19 2000 conf/icalp/2000 ICALP db/conf/icalp/icalp2000.html#Moszkowski00 Ben C. Moszkowski A Complete Axiomatization of Interval Temporal Logic with Infinite Time. 241-252 2000 conf/lics/2000 LICS https://doi.org/10.1109/LICS.2000.855773 https://doi.ieeecomputersociety.org/10.1109/LICS.2000.855773 db/conf/lics/lics2000.html#Moszkowski00 Xiaoshan Li Antonio Cau Ben C. Moszkowski Nick Coleman Hussein Zedan Proving the correctness of the interlock mechanism in processor design. 5-22 1997 conf/charme/1997 CHARME db/conf/charme/charme1997.html#LiCMCZ97 Ben C. Moszkowski Compositional Reasoning Using Interval Temporal Logic and Tempura. 439-464 1997 conf/compos/1997 COMPOS https://doi.org/10.1007/3-540-49213-5_17 db/conf/compos/compos1997.html#Moszkowski97 Antonio Cau Hussein Zedan Nick Coleman Ben C. Moszkowski Using ITL and Tempura for Large-Scale Specification and Simulation. 493-500 1996 conf/pdp/1996 PDP db/conf/pdp/pdp1996.html#CauZCM96 Ben C. Moszkowski Compositional reasoning about projected and infinite time. 238-245 1995 conf/iceccs/1995 ICECCS https://doi.org/10.1109/ICECCS.1995.479336 https://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479336 db/conf/iceccs/iceccs1995.html#Moszkowski95 Ben C. Moszkowski Some Very Compositional Temporal Properties. 307-326 1994 conf/procomet/1994 PROCOMET db/conf/procomet/procomet1994.html#Moszkowski94 Roger Hale Ben C. Moszkowski Parallel Programming in Temporal Logic. 277-296 1987 conf/parle/1987-2 PARLE (2) db/conf/parle/parle87-2.html#HaleM87 https://doi.org/10.1007/3-540-17945-3_16 Ben C. Moszkowski Executing temporal logic programs. 1-125 Cambridge University Press 1986 978-0-521-31099-4

Ben C. Moszkowski A Temporal Logic for Multilevel Reasoning about Hardware. 10-19 1985 18 Computer 2 https://doi.org/10.1109/MC.1985.1662795 http://doi.ieeecomputersociety.org/10.1109/MC.1985.1662795 db/journals/computer/computer18.html#Moszkowski85

Ben C. Moszkowski Executing Temporal Logic Programs. 111-130 1984 conf/concur/1984 Seminar on Concurrency db/conf/concur/concur1984.html#Moszkowski84 https://doi.org/10.1007/3-540-15670-4_6 Ben C. Moszkowski Reasoning about digital circuits. Stanford University, USA 1983 https://searchworks.stanford.edu/view/1071291 Ben C. Moszkowski A Temporal Analysis of Some Concurrent Systems. 359-364 1983 conf/acs/1983 The Analysis of Concurrent Systems db/conf/acs/acs1983.html#Moszkowski83 https://doi.org/10.1007/3-540-16047-7_58 Joseph Y. Halpern Zohar Manna Ben C. Moszkowski A Hardware Semantics Based on Temporal Intervals. 278-291 1983 conf/icalp/1983 ICALP db/conf/icalp/icalp83.html#HalpernMM83 https://doi.org/10.1007/BFb0036915 Ben C. Moszkowski Zohar Manna Reasoning in Interval Temporal Logic. 371-382 1983 conf/lop/1983 Logic of Programs db/conf/lop/lop1983.html#MaszkowskiM83 https://doi.org/10.1007/3-540-12896-4_374 Antonio Cau Nick Coleman Jordan Dimitrov Zhenhua Duan Dimitar P. Guelev Roger Hale Joseph Y. Halpern Helge Janicke Hanna Klaudel Maciej Koutny Martin Leucker Xiaoshan Li M. Manjunathaiah Zohar Manna Mark Reynolds 0001 Michael Spivey Paolo Terenziani Hussein Zedan