Biblioteca Digital

15 resultados para Psychology of logic

em CUNY Academic Works

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

Relevância:

40.00% 40.00%

Publicador:

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

Relevância:

40.00% 40.00%

Publicador:

TR-2003012: A Semantics for the Logic of Proofs

Relevância:

40.00% 40.00%

Publicador:

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

Relevância:

40.00% 40.00%

Publicador:

TR-2004001: Tableaux for the Logic of Proofs

Relevância:

40.00% 40.00%

Publicador:

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

Relevância:

40.00% 40.00%

Publicador:

TR-2005002: The Basic Intuitionistic Logic of Proofs

Relevância:

40.00% 40.00%

Publicador:

TR-2005004: Basic Systems of Epistemic Logic with Justification

Relevância:

40.00% 40.00%

Publicador:

TR-2005011: Logic of Proofs for Bounded Arithmetic

Relevância:

40.00% 40.00%

Publicador:

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

Relevância:

40.00% 40.00%

Publicador:

TR-2007016: Symmetric Logic of Proofs

Relevância:

40.00% 40.00%

Publicador:

TR-2008010: The Logic of Justification

Relevância:

40.00% 40.00%

Publicador:

TR-2009002: Cartesian Closed Categories for the Logic of Proofs

Relevância:

40.00% 40.00%

Publicador:

TR-2011005: First-Order Logic of Proofs

Relevância:

40.00% 40.00%

Publicador:

TR-2014003: On the Complexity of Two-Agent Justification Logic

Relevância:

40.00% 40.00%

Publicador: