Biblioteca Digital

29 resultados para TCTL (timed computation tree logic)

em CUNY Academic Works

TR-2003003: Finite Information Logic

Relevância:

20.00% 20.00%

Publicador:

TR-2003007: On the Complexity of the Reflected Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2003010: A Semantic Proof of the Realizability of Modal Logic in the Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2003012: A Semantics for the Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2003015: Two Counterexamples in the Logic of Dynamic Topological Systems

Relevância:

20.00% 20.00%

Publicador:

TR-2004001: Tableaux for the Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2004003: Intuitionistic Logic with Classical Atoms

Relevância:

20.00% 20.00%

Publicador:

TR-2004011: Logic of Knowledge with Justifications from the Provability Perspective

Relevância:

20.00% 20.00%

Publicador:

TR-2005002: The Basic Intuitionistic Logic of Proofs

Relevância:

20.00% 20.00%

Publicador:

TR-2005004: Basic Systems of Epistemic Logic with Justification

Relevância:

20.00% 20.00%

Publicador:

TR-2005011: Logic of Proofs for Bounded Arithmetic

Relevância:

20.00% 20.00%

Publicador:

TR-2005013: Typing in Reflective Combinatory Logic

Relevância:

20.00% 20.00%

Publicador:

TR-2006003: Explicit Proofs in Formal Provability Logic

Relevância:

20.00% 20.00%

Publicador:

TR-2007011: Numerical Computation of Determinants with Additive Preconditioning

Relevância:

20.00% 20.00%

Publicador:

TR-2007012: The Relative Expressivity of Public and Private Communication in BMS Logic

Relevância:

20.00% 20.00%

Publicador:

«
1
2
»