Biblioteca Digital

24 resultados para Terentjev, Sergei

em CUNY Academic Works

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

Relevância:

10.00% 10.00%

Publicador:

TR-2004018: Evidence-Based Common Knowledge

Relevância:

10.00% 10.00%

Publicador:

TR-2005002: The Basic Intuitionistic Logic of Proofs

Relevância:

10.00% 10.00%

Publicador:

TR-2005004: Basic Systems of Epistemic Logic with Justification

Relevância:

10.00% 10.00%

Publicador:

TR-2005005: Geometric Interpretation and Spherical Property of the 2-D Poisson Kernel

Relevância:

10.00% 10.00%

Publicador:

TR-2006005: Logical Omniscience via Proof Complexity

Relevância:

10.00% 10.00%

Publicador:

TR-2007016: Symmetric Logic of Proofs

Relevância:

10.00% 10.00%

Publicador:

TR-2007019: Justification Logic

Relevância:

10.00% 10.00%

Publicador:

TR-2008010: The Logic of Justification

Relevância:

10.00% 10.00%

Publicador:

TR-2008014: Why Do We Need Justification Logic?

Relevância:

10.00% 10.00%

Publicador:

TR-2009006: Intelligent Players

Relevância:

10.00% 10.00%

Publicador:

TR-2009011: Knowledge-Based Rational Decisions

Relevância:

10.00% 10.00%

Publicador:

TR-2009012: Rational Decisions in Non-Probabilistic Settings

Relevância:

10.00% 10.00%

Publicador:

TR-2009015: Knowledge-Based Rational Decisions and Nash Paths

Relevância:

10.00% 10.00%

Publicador:

TR-2010003: The Impossibility of Definitive Solutions for Some Games

Relevância:

10.00% 10.00%

Publicador:

«
1
2
»