David Corfield
Latest Revisions
Skip the Navigation Links

Home Page

All Pages

Latest Revisions

Authors

Home Page
(
Home Page(rev # 159)

history
)
by
David Corfield
at July 19, 2021 at 05:06:34
Amie Thomasson
(
Amie Thomasson(rev # 2)

history
)
by
David Corfield
at July 4, 2021 at 15:15:38
Amie Thomasson
(
Amie Thomasson(rev # 1)

history
)
by
David Corfield
at July 2, 2021 at 05:16:47
Home Page
(
Home Page(rev # 158)

history
)
by
David Corfield
at July 2, 2021 at 05:03:52
Husserl
(
Husserl(rev # 8)

history
)
by
David Corfield
at June 30, 2021 at 09:21:02
graded modality
(
graded modality(rev # 13)

history
)
by
David Corfield
at June 25, 2021 at 04:45:48
temporal type theory
(
temporal type theory(rev # 12)

history
)
by
David Corfield
at June 22, 2021 at 03:55:30
impossibilia
by
David Corfield
at June 20, 2021 at 03:20:09
Home Page
(
Home Page(rev # 157)

history
)
by
David Corfield
at June 20, 2021 at 03:18:35
endorsements
(
endorsements(rev # 8)

history
)
by
David Corfield
at June 19, 2021 at 15:33:13
Husserl
(
Husserl(rev # 7)

history
)
by
David Corfield
at June 19, 2021 at 10:10:31
Husserl
(
Husserl(rev # 6)

history
)
by
David Corfield
at June 17, 2021 at 08:40:42
Husserl
(
Husserl(rev # 5)

history
)
by
David Corfield
at June 17, 2021 at 06:34:20
Husserl
(
Husserl(rev # 4)

history
)
by
David Corfield
at June 16, 2021 at 11:49:27
Husserl
(
Husserl(rev # 3)

history
)
by
David Corfield
at June 16, 2021 at 10:01:52
Husserl
(
Husserl(rev # 2)

history
)
by
David Corfield
at June 16, 2021 at 09:22:29
Husserl
(
Husserl(rev # 1)

history
)
by
David Corfield
at June 16, 2021 at 07:09:51
Home Page
(
Home Page(rev # 156)

history
)
by
David Corfield
at June 16, 2021 at 06:48:22
quotient types
(
quotient types(rev # 9)

history
)
by
David Corfield
at June 8, 2021 at 08:35:36
deduction, induction, abduction
(
deduction, induction, abduction(rev # 13)

history
)
by
David Corfield
at June 1, 2021 at 03:54:46
Home Page
(
Home Page(rev # 155)

history
)
by
David Corfield
at May 28, 2021 at 04:25:05
belief
(
belief(rev # 4)

history
)
by
David Corfield
at May 27, 2021 at 03:24:00
belief
(
belief(rev # 3)

history
)
by
David Corfield
at May 27, 2021 at 02:37:01
belief
(
belief(rev # 2)

history
)
by
David Corfield
at May 26, 2021 at 04:53:29
belief
(
belief(rev # 1)

history
)
by
David Corfield
at May 26, 2021 at 03:07:44
Home Page
(
Home Page(rev # 154)

history
)
by
David Corfield
at May 26, 2021 at 02:59:49
specification type
by
David Corfield
at May 22, 2021 at 02:47:11
Home Page
(
Home Page(rev # 153)

history
)
by
David Corfield
at May 22, 2021 at 02:46:22
univocalequivocal
(
univocalequivocal(rev # 7)

history
)
by
David Corfield
at May 18, 2021 at 04:26:36
typeshifting
(
typeshifting(rev # 3)

history
)
by
David Corfield
at May 6, 2021 at 16:36:25
typeshifting
(
typeshifting(rev # 2)

history
)
by
David Corfield
at May 6, 2021 at 12:23:30
typeshifting
(
typeshifting(rev # 1)

history
)
by
David Corfield
at May 6, 2021 at 09:30:28
Home Page
(
Home Page(rev # 152)

history
)
by
David Corfield
at May 6, 2021 at 09:28:36
free logic
(
free logic(rev # 7)

history
)
by
David Corfield
at May 5, 2021 at 17:28:36
relevance logic
(
relevance logic(rev # 3)

history
)
by
David Corfield
at May 5, 2021 at 12:57:00
relevance logic
(
relevance logic(rev # 2)

history
)
by
David Corfield
at May 5, 2021 at 07:46:16
relevance logic
(
relevance logic(rev # 1)

history
)
by
David Corfield
at May 5, 2021 at 05:36:50
Home Page
(
Home Page(rev # 151)

history
)
by
David Corfield
at May 5, 2021 at 05:30:54
Friedman and DTT
(
Friedman and DTT(rev # 16)

history
)
by
David Corfield
at May 4, 2021 at 04:09:09
free logic
(
free logic(rev # 6)

history
)
by
David Corfield
at May 4, 2021 at 02:31:58
free logic
(
free logic(rev # 5)

history
)
by
David Corfield
at May 3, 2021 at 11:30:08
ntheory
(
ntheory(rev # 11)

history
)
by
David Corfield
at May 2, 2021 at 03:20:41
logicmathematics
(
logicmathematics(rev # 11)

history
)
by
David Corfield
at May 1, 2021 at 11:23:57
intensional conjunction
(
intensional conjunction(rev # 2)

history
)
by
David Corfield
at May 1, 2021 at 11:23:08
logicmathematics
(
logicmathematics(rev # 10)

history
)
by
David Corfield
at April 30, 2021 at 07:32:23
logicmathematics
(
logicmathematics(rev # 9)

history
)
by
David Corfield
at April 30, 2021 at 06:44:23
intensional conjunction
(
intensional conjunction(rev # 1)

history
)
by
David Corfield
at April 30, 2021 at 04:50:31
Home Page
(
Home Page(rev # 150)

history
)
by
David Corfield
at April 30, 2021 at 04:36:06
free logic
(
free logic(rev # 4)

history
)
by
David Corfield
at April 29, 2021 at 09:16:48
ntheory
(
ntheory(rev # 10)

history
)
by
David Corfield
at April 29, 2021 at 08:07:27
free logic
(
free logic(rev # 3)

history
)
by
David Corfield
at April 29, 2021 at 08:00:57
ntheory
(
ntheory(rev # 9)

history
)
by
David Corfield
at April 28, 2021 at 05:45:57
manysorted logic
(
manysorted logic(rev # 4)

history
)
by
David Corfield
at April 28, 2021 at 03:35:02
manysorted logic
(
manysorted logic(rev # 3)

history
)
by
David Corfield
at April 27, 2021 at 05:38:51
free logic
(
free logic(rev # 2)

history
)
by
David Corfield
at April 27, 2021 at 05:37:24
manysorted logic
(
manysorted logic(rev # 2)

history
)
by
David Corfield
at April 27, 2021 at 05:03:38
manysorted logic
(
manysorted logic(rev # 1)

history
)
by
David Corfield
at April 27, 2021 at 04:28:58
Home Page
(
Home Page(rev # 149)

history
)
by
David Corfield
at April 27, 2021 at 04:26:41
free logic
(
free logic(rev # 1)

history
)
by
David Corfield
at April 27, 2021 at 04:06:27
ntheory
(
ntheory(rev # 8)

history
)
by
David Corfield
at April 26, 2021 at 11:04:08
ntheory
(
ntheory(rev # 7)

history
)
by
David Corfield
at April 23, 2021 at 06:35:19
inferences
(
inferences(rev # 2)

history
)
by
David Corfield
at April 23, 2021 at 05:48:56
stuff
(
stuff(rev # 4)

history
)
by
David Corfield
at April 23, 2021 at 05:13:27
quotient types
(
quotient types(rev # 8)

history
)
by
David Corfield
at April 18, 2021 at 05:17:57
quotient types
(
quotient types(rev # 7)

history
)
by
David Corfield
at April 16, 2021 at 09:41:08
stuff
(
stuff(rev # 3)

history
)
by
David Corfield
at April 16, 2021 at 09:35:54
univocalequivocal
(
univocalequivocal(rev # 6)

history
)
by
David Corfield
at April 16, 2021 at 09:12:52
negative facts
(
negative facts(rev # 6)

history
)
by
David Corfield
at April 16, 2021 at 05:48:26
univocalequivocal
(
univocalequivocal(rev # 5)

history
)
by
David Corfield
at April 16, 2021 at 05:17:30
stuff
(
stuff(rev # 2)

history
)
by
David Corfield
at April 15, 2021 at 12:11:36
negative facts
(
negative facts(rev # 5)

history
)
by
David Corfield
at April 15, 2021 at 10:53:25
stuff
(
stuff(rev # 1)

history
)
by
David Corfield
at April 15, 2021 at 10:51:12
Home Page
(
Home Page(rev # 148)

history
)
by
David Corfield
at April 15, 2021 at 10:13:16
probability
(
probability(rev # 31)

history
)
by
Anonymous
?
at April 13, 2021 at 09:11:03
negative facts
(
negative facts(rev # 4)

history
)
by
David Corfield
at April 13, 2021 at 08:31:50
univocalequivocal
(
univocalequivocal(rev # 4)

history
)
by
David Corfield
at April 13, 2021 at 06:24:28
logicmathematics
(
logicmathematics(rev # 8)

history
)
by
David Corfield
at April 13, 2021 at 05:42:56
logicmathematics
(
logicmathematics(rev # 7)

history
)
by
David Corfield
at April 13, 2021 at 04:48:02
logicmathematics
(
logicmathematics(rev # 6)

history
)
by
David Corfield
at April 13, 2021 at 02:38:04
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 14)

history
)
by
Tim Johns
?
at April 12, 2021 at 21:38:53
probability
(
probability(rev # 30)

history
)
by
David Corfield
at April 12, 2021 at 11:52:36
logicmathematics
(
logicmathematics(rev # 5)

history
)
by
David Corfield
at April 12, 2021 at 11:31:17
probability
(
probability(rev # 29)

history
)
by
David Corfield
at April 12, 2021 at 10:57:03
logicmathematics
(
logicmathematics(rev # 4)

history
)
by
David Corfield
at April 12, 2021 at 10:37:06
probability
(
probability(rev # 28)

history
)
by
David Corfield
at April 12, 2021 at 10:18:13
logicmathematics
(
logicmathematics(rev # 3)

history
)
by
David Corfield
at April 12, 2021 at 08:28:29
logicmathematics
(
logicmathematics(rev # 2)

history
)
by
David Corfield
at April 12, 2021 at 06:54:04
negative facts
(
negative facts(rev # 3)

history
)
by
David Corfield
at April 12, 2021 at 04:14:43
negative facts
(
negative facts(rev # 2)

history
)
by
David Corfield
at April 12, 2021 at 03:06:49
negative facts
(
negative facts(rev # 1)

history
)
by
David Corfield
at April 10, 2021 at 06:21:11
Home Page
(
Home Page(rev # 147)

history
)
by
David Corfield
at April 10, 2021 at 03:01:37
logicmathematics
(
logicmathematics(rev # 1)

history
)
by
David Corfield
at April 9, 2021 at 10:41:24
types in philosophical literature
(
types in philosophical literature(rev # 7)

history
)
by
David Corfield
at April 9, 2021 at 06:01:36
Home Page
(
Home Page(rev # 146)

history
)
by
David Corfield
at April 9, 2021 at 06:00:35
univocalequivocal
(
univocalequivocal(rev # 3)

history
)
by
David Corfield
at April 7, 2021 at 11:12:26
ntheory
(
ntheory(rev # 6)

history
)
by
David Corfield
at April 7, 2021 at 10:58:05
ntheory
(
ntheory(rev # 5)

history
)
by
David Corfield
at April 7, 2021 at 09:23:16
Modal Homotopy Type Theory
(
Modal Homotopy Type Theory(rev # 13)

history
)
by
David Corfield
at April 7, 2021 at 06:44:44
ntheory
(
ntheory(rev # 4)

history
)
by
David Corfield
at April 7, 2021 at 04:50:44
invariance
(
invariance(rev # 14)

history
)
by
David Corfield
at March 31, 2021 at 10:13:25
« Previous
1
2
3
4
5
6
7
8
9
10
Next »