Biblioteca Digital

32 resultados para spatial logics

em Department of Computer Science E-Repository - King's College London, Strand, London

Spatial logic + temporal logic = ?

Relevância:

70.00% 70.00%

Publicador:

Combining spatial and temporal logics: expressiveness vs. complexity

Relevância:

40.00% 40.00%

Publicador:

Many-dimensional Modal Logics: Theory and Applications

Relevância:

20.00% 20.00%

Publicador:

Combining modal logics

Relevância:

20.00% 20.00%

Publicador:

Non-primitive recursive decidability of products of modal logics with expanding domains

Relevância:

20.00% 20.00%

Publicador:

Undecidability of first-order intuitionistic and modal logics with two variables

Relevância:

20.00% 20.00%

Publicador:

Products of `transitive' modal logics

Relevância:

20.00% 20.00%

Publicador:

On modal logics between K×K×K and S5×S5×S5

Relevância:

20.00% 20.00%

Publicador:

Modal logics for metric spaces: open problems

Relevância:

20.00% 20.00%

Publicador:

A note on relativised products of modal logics

Relevância:

20.00% 20.00%

Publicador:

Products of `transitive' modal logics with constant and expanding domains

Relevância:

20.00% 20.00%

Publicador:

Products of `transitive' modal logics without the (abstract) finite model property

Relevância:

20.00% 20.00%

Publicador:

On the computational complexity of decidable fragments of first-order linear temporal logics

Relevância:

20.00% 20.00%

Publicador:

On the computational complexity of spatio-temporal logics

Relevância:

20.00% 20.00%

Publicador:

A note on relativised products of modal logics

Relevância:

20.00% 20.00%

Publicador:

«
1
2
3
»