528 resultados para logics

Modal logics for metric spaces: open problems

Relevância:

20.00% 20.00%

Publicador:

Veja mais

A note on relativised products of modal logics

Relevância:

20.00% 20.00%

Publicador:

Veja mais

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

Relevância:

20.00% 20.00%

Publicador:

Veja mais

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

Relevância:

20.00% 20.00%

Publicador:

Veja mais

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

Relevância:

20.00% 20.00%

Publicador:

Veja mais

On the computational complexity of spatio-temporal logics

Relevância:

20.00% 20.00%

Publicador:

Veja mais

A note on relativised products of modal logics

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Deletion in Resource Unbounded Logics --- Belief Contraction, Anti-Formulae and Resource Overdraft: Part II

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Belief Contraction, Anti-Formulae and Resource Overdraft: Part I --- Deletion in Resource Bounded Logics

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Analytic Sequent Calculi for Abelian and Lukasiewicz Logics

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Goal Directed Calculi for Goedel-Dummett Logics

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Logics of Context

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Many Dimensional Modal Logics

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Compiled Labelled Deductive Systems for Modal and Conditional Logics

Relevância:

20.00% 20.00%

Publicador:

Veja mais

Analysis and Synthesis of Logics

Relevância:

20.00% 20.00%

Publicador:

Veja mais