User contributions for ProvLog
Results for ProvLog talk block log uploads logs global block log global account filter log
A user with 15 edits. Account created on 30 May 2015.
31 May 2015
- 16:0316:03, 31 May 2015 diff hist −2 Kripke semantics →Correspondence and completeness
- 15:5915:59, 31 May 2015 diff hist −2 Provability logic →See also
- 15:5815:58, 31 May 2015 diff hist +35 Provability logic →See also
- 15:5515:55, 31 May 2015 diff hist 0 Provability logic →Generalizations
- 15:4915:49, 31 May 2015 diff hist +36 Provability logic →Generalizations
- 15:4215:42, 31 May 2015 diff hist +48 m Kripke semantics →Correspondence and completeness
- 09:0909:09, 31 May 2015 diff hist +52 Japaridze's polymodal logic No edit summary
- 08:4708:47, 31 May 2015 diff hist +313 Japaridze's polymodal logic →History
- 08:3508:35, 31 May 2015 diff hist +153 Japaridze's polymodal logic →Literature
- 08:2408:24, 31 May 2015 diff hist +15 Japaridze's polymodal logic No edit summary
- 08:2108:21, 31 May 2015 diff hist +4 Japaridze's polymodal logic →Language and axiomatics
- 08:1808:18, 31 May 2015 diff hist +8 Japaridze's polymodal logic →History
- 08:1608:16, 31 May 2015 diff hist +11,558 N Japaridze's polymodal logic ←Created page with '<!--- Don't mess with this line! --->{{New unreviewed article|date={{subst:CURRENTMONTHNAME}} {{subst:CURRENTYEAR}}}} <!--- Write your article below this line --...' Tag: possible conflict of interest
30 May 2015
- 16:1616:16, 30 May 2015 diff hist +2,965 Interpretability logic No edit summary
- 01:3901:39, 30 May 2015 diff hist +461 Provability logic →Examples
