Results 321 to 330 of about 93,973 (331)

Multiagent Temporal Logics with Multivaluations

Siberian Mathematical Journal, 2018
Vladimir V Rybakov
exaly  

The complexity of propositional linear temporal logics

Journal of the ACM, 1985
exaly  

Temporal Logic

2017
openaire   +1 more source

Temporal logic

1982
openaire   +1 more source

A general tableau method for propositional interval temporal logics: Theory and implementation

Journal of Applied Logic, 2006
exaly  

Temporal Logic

2006
openaire   +1 more source

Temporal Logic

1997
openaire   +1 more source

Branching-Time Logics Repeatedly Referring to States

Journal of Logic, Language and Information, 2009
exaly  

Temporal Logics

2004
openaire   +1 more source

Temporal logics in geographical research on migration and refugees

Progress in Human Geography
Goshu Wolde Tefera
exaly