A sound and complete proof system for a unified temporal logic

Theoretical Computer Science ◽

10.1016/j.tcs.2020.05.015 ◽

2020 ◽

Vol 838 ◽

pp. 25-44

Author(s):

Liang Zhao ◽

Xiaobing Wang ◽

Xinfeng Shu ◽

Nan Zhang

Keyword(s):

Temporal Logic ◽

Proof System ◽

Download Full-text

A Complete Proof System for First-order Interval Temporal Logic with Projection

Journal of Logic and Computation ◽

10.1093/logcom/14.2.215 ◽

2004 ◽

Vol 14 (2) ◽

pp. 215-249 ◽

Author(s):

D. P. Guelev

Keyword(s):

Temporal Logic ◽

Proof System ◽

Order Interval ◽

Complete Proof ◽

First Order ◽

Interval Temporal Logic

Download Full-text

A complete proof system for propositional projection temporal logic

Theoretical Computer Science ◽

10.1016/j.tcs.2012.01.026 ◽

2013 ◽

Vol 497 ◽

pp. 84-107 ◽

Author(s):

Zhenhua Duan ◽

Nan Zhang ◽

Maciej Koutny

Keyword(s):

Temporal Logic ◽

Proof System ◽

Download Full-text

A Complete Proof System for 1-Free Regular Expressions Modulo Bisimilarity

Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1145/3373718.3394744 ◽

2020 ◽

Author(s):

Clemens Grabmayer ◽

Wan Fokkink

Keyword(s):

Proof System ◽

Regular Expressions ◽

Download Full-text

A Complete Proof System for SCCS with Modal Assertions

Fundamenta Informaticae ◽

10.3233/fi-1986-9403 ◽

1986 ◽

Vol 9 (4) ◽

pp. 401-419

Author(s):

Glynn Winskel

Keyword(s):

Proof System ◽

Download Full-text

An adaptation-complete proof system for local reasoning about cloud storage systems

Theoretical Computer Science ◽

10.1016/j.tcs.2021.12.018 ◽

2021 ◽

Author(s):

Zhao Jin ◽

Bowen Zhang ◽

Lei Zhang ◽

Yongzhi Cao ◽

Hanpin Wang

Keyword(s):

Cloud Storage ◽

Storage Systems ◽

Proof System ◽

Complete Proof ◽

Local Reasoning

Download Full-text

A sound and complete proof system for partial program correctness

Mathematical Foundations of Computer Science 1979 - Lecture Notes in Computer Science ◽

10.1007/3-540-09526-8_1 ◽

1979 ◽

pp. 1-12

Author(s):

J. W. Bakker

Keyword(s):

Proof System ◽

Program Correctness ◽

Download Full-text

On mechanizing proofs within a complete proof system for Unity

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/3-540-60043-4_67 ◽

1995 ◽

pp. 400-415 ◽

Author(s):

Naïma Brown ◽

Abdelillah Mokkedem

Keyword(s):

Proof System ◽

Download Full-text

A compositional proof system for real-time systems based on explicit clock temporal logic

Proceedings of the Sixth International Workshop on Software Specification and Design ◽

10.1109/iwssd.1991.213070 ◽

2002 ◽

Author(s):

J. Hooman ◽

R. Kuiper ◽

P. Zhou

Keyword(s):

Real Time ◽

Temporal Logic ◽

Proof System ◽

Real Time Systems ◽

Download Full-text

A complete proof system for timed observations

TAPSOFT '91 - Lecture Notes in Computer Science ◽

10.1007/3-540-53982-4_23 ◽

1991 ◽

pp. 412-440 ◽

Author(s):

Yolanda Ortega-Mallén ◽

David Frutos-Escrig

Keyword(s):

Proof System ◽

Download Full-text

A sound and complete proof system for probabilistic processes

Transformation-Based Reactive Systems Development - Lecture Notes in Computer Science ◽

10.1007/3-540-63010-4_23 ◽

1997 ◽

pp. 340-352 ◽

Author(s):

F. Cuartero Gómez ◽

D. de Frutos Escrig ◽

V. Valero Ruiz

Keyword(s):

Proof System ◽

Complete Proof ◽

Probabilistic Processes

Download Full-text