Biblioteca Digital

28 resultados para Formal logic

em CUNY Academic Works

TR-2006003: Explicit Proofs in Formal Provability Logic

Relevância:

40.00% 40.00%

Publicador:

TR-2002009: A Formal Semantics for UML with Real-Time Constructs

Relevância:

20.00% 20.00%

Publicador:

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-2004017: Towards a Formal Concept Analysis Approach to Exploring Communities on the World Wide Web

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:

«
1
2
»