Old Web
English
Sign In
Acemap
>
Paper
>
Ruth Barcan Marcus (1921
Ruth Barcan Marcus (1921
2007
M. J. Cresswell
Keywords:
Algorithm
Philosophy
Predicate logic
Epistemic modal logic
Modal logic
Accessibility relation
Epistemology
Dynamic logic (modal logic)
Philosophy of logic
S5
Barcan formula
Cognitive science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]