Complete proof systems for first order interval temporal logic

2002 ◽  
Author(s):  
B. Dutertre
Keyword(s):  
Temporal Logic ◽  
Order Interval ◽  
Complete Proof ◽  
First Order ◽  
Proof Systems ◽  
Interval Temporal Logic

Towards the Temporal Approach to Abstract Data Types

1988 ◽  
Vol 11 (1) ◽  
pp. 49-63
Author(s):  
Andrzej Szalas
Keyword(s):  
Temporal Logic ◽  
Abstract Data Types ◽  
Data Types ◽  
First Order ◽  
Abstract Data ◽  
Order Completeness ◽  
General Method

In this paper we deal with a well known problem of specifying abstract data types. Up to now there were many approaches to this problem. We follow the axiomatic style of specifying abstract data types (cf. e.g. [1, 2, 6, 8, 9, 10]). We apply, however, the first-order temporal logic. We introduce a notion of first-order completeness of axiomatic specifications and show a general method for obtaining first-order complete axiomatizations. Some examples illustrate the method.

Complete proof systems for algebraic simply-typed terms

1994 ◽  
Vol VII (3) ◽  
pp. 220-226
Author(s):  
Stavros S. Cosmadakis
Keyword(s):  
Complete Proof ◽  
Proof Systems

scholarly journals Prompt Interval Temporal Logic

2016 ◽  
pp. 207-222 ◽  
Author(s):  
Dario Della Monica ◽  
Angelo Montanari ◽  
Aniello Murano ◽  
Pietro Sala
Keyword(s):  
Temporal Logic ◽  
Interval Temporal Logic
Sign in / Sign up

Export Citation Format

Share Document