Biblioteca Digital

61 resultados para modal logic

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

A connectionist inductive learning system for modal logic programming

Relevância:

100.00% 100.00%

Publicador:

A Theory of Hypermodal Logics: (Mode Shifting in Modal Logic)

Relevância:

100.00% 100.00%

Publicador:

Connectionist modal logic

Relevância:

100.00% 100.00%

Publicador:

Combining modal logics

Relevância:

70.00% 70.00%

Publicador:

A note on relativised products of modal logics

Relevância:

70.00% 70.00%

Publicador:

S5×S5×S5 lacks the finite model property

Relevância:

60.00% 60.00%

Publicador:

Dynamics of Practical Reasoning: A position paper

Relevância:

60.00% 60.00%

Publicador:

PROMAL: Programming in Modal Action Logic

Relevância:

40.00% 40.00%

Publicador:

Modal varieties of temporal logic

Relevância:

40.00% 40.00%

Publicador:

Interpolation and Definability, Volume 1: Modal and Intuitionistic Logic

Relevância:

40.00% 40.00%

Publicador:

Naming Worlds in Modal and Temporal Logic

Relevância:

40.00% 40.00%

Publicador:

Actions and Normative Positions: A Modal-Logical Approach

Relevância:

30.00% 30.00%

Publicador:

Many-dimensional Modal Logics: Theory and Applications

Relevância:

30.00% 30.00%

Publicador:

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

Relevância:

30.00% 30.00%

Publicador:

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

Relevância:

30.00% 30.00%

Publicador:

«
1
2
3
4
5
»