Time and Logic
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Routledge

9780429321047

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the relation of programs and computations to models of temporal logic

Time and Logic ◽

10.4324/9780429321047-3 ◽

2019 ◽

pp. 131-178 ◽

Cited By ~ 2

Author(s):

P. Wolper

Keyword(s):

Temporal Logic

Download Full-text

Temporal logic in a stochastic environment

Time and Logic ◽

10.4324/9780429321047-5 ◽

2019 ◽

pp. 229-247

Author(s):

B. Strulo ◽

D. Gabbay ◽

P. G. Harrison

Keyword(s):

Temporal Logic ◽

Stochastic Environment

Download Full-text

Branching time and partial order in temporal logics

Time and Logic ◽

10.4324/9780429321047-4 ◽

2019 ◽

pp. 179-228 ◽

Cited By ~ 4

Author(s):

W. Penczek

Keyword(s):

Partial Order ◽

Branching Time ◽

Temporal Logics

Download Full-text

Temporal logics in a relational framework

Time and Logic ◽

10.4324/9780429321047-6 ◽

2019 ◽

pp. 249-277 ◽

Cited By ~ 3

Author(s):

E. Orlowska

Keyword(s):

Temporal Logics ◽

Relational Framework

Download Full-text

An analysis of structure of time in the first order predicate calculus

Time and Logic ◽

10.4324/9780429321047-7 ◽

2019 ◽

pp. 279-322

Author(s):

E. Hajnicz

Keyword(s):

Predicate Calculus ◽

First Order ◽

Order Predicate Calculus

Download Full-text

Effective temporal logics of programs

Time and Logic ◽

10.4324/9780429321047-2 ◽

2019 ◽

pp. 51-129

Author(s):

H. Andréka ◽

V. Goranko ◽

S. Mikulás ◽

I. Németi ◽

I. Sain

Keyword(s):

Temporal Logics ◽

Logics Of Programs

Download Full-text

Temporal logic of programs: a standard approach

Time and Logic ◽

10.4324/9780429321047-1 ◽

2019 ◽

pp. 1-50 ◽

Cited By ~ 1

Author(s):

A. Szałas

Keyword(s):

Temporal Logic ◽

Standard Approach

Download Full-text