Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
cross-linked with epistemology
copied over the material from the previous existing “epistemic logic” (still visible in the page history of what is now epistemic logic > history)
hyperlinked the new occurrence of doxastic logic.
What happens with the use of \; in math mode. On the nForum it generates spaces, but on this nLab page it’s not working.
$\mathbf{N}: If\; P\; is\; a\; theorem, \;then\; so\; is\; K P,$What I see when looking through your source is un-escaped flow text in math mode (previously in the equation following here), where you would want a \text
-environment. Behind the above link I have changed it to
\mathbf{N} \colon \text{If}\; P \;\text{is a theorem, then so is}\; K P
OK, thanks. But in my browser at least, it still has the ’If’ and ’$P$’ run together.
Re #10, thanks that’s working now.
added a couple of original references:
Georg H. von Wright, Section IV of: An Essay in Modal Logic, North-Holland Publishing (1951)
K. Jaakko J. Hintikka, Knowledge and belief: An introduction to the logic of the two notions, Cornell University Press (1962) [ark:/13960/t9k437s65]
1 to 14 of 14