Find link

language:

Find link is a tool written by Edward Betts.

searching for Provability logic 5 found (30 total)

Giorgi Japaridze (2,612 words) [view diff] exact match in snippet view article find links to article

Japaridze has also studied the first-order (predicate) versions of provability logic. He came up with an axiomatization of the single-variable fragment

Rosalie Iemhoff (223 words) [view diff] case mismatch in snippet view article find links to article

completed a PhD in mathematical logic there in 2001. Her dissertation, Provability Logic and Admissible Rules, was jointly promoted by Anne Sjerp Troelstra

Polytopological space (487 words) [view diff] case mismatch in snippet view article find links to article

Bitopological space Icard, III, Thomas F. (2008). "Models of the Polymodal Provability Logic" (PDF). Master's thesis. University of Amsterdam. {{cite journal}}:

Superrationality (1,571 words) [view diff] case mismatch in snippet view article find links to article

"Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic". arXiv:1401.5577 [cs.GT]. Oesterheld, Caspar; Treutlein, Johannes;

Program equilibrium (1,457 words) [view diff] case mismatch in snippet view article find links to article

"Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic". arXiv:1401.5577 [cs.GT]. Critch, A. (2019). "A Parametric, Resource-Bounded