Not signed in (Sign In)

# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Sign in using OpenID

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. starting stub article on epistemic modal logic. Not an expert on modal logics in general, but I think David Corfield might know more about this topic.

Anonymous

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeDec 28th 2022

cross-linked with epistemology

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeDec 28th 2022

copied over the material from the previous existing “epistemic logic” (still visible in the page history of what is now epistemic logic > history)

• CommentRowNumber4.
• CommentAuthorDavid_Corfield
• CommentTimeMar 17th 2023

Some heavy editing.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeMar 17th 2023

hyperlinked the new occurrence of doxastic logic.

• CommentRowNumber6.
• CommentAuthorDavid_Corfield
• CommentTimeMar 17th 2023

Some more additions.

• CommentRowNumber7.
• CommentAuthorDavid_Corfield
• CommentTimeMar 17th 2023

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,$
• CommentRowNumber8.
• CommentAuthorUrs
• CommentTimeMar 17th 2023
• (edited Mar 17th 2023)

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

• CommentRowNumber9.
• CommentAuthorDavid_Corfield
• CommentTimeMar 17th 2023

OK, thanks. But in my browser at least, it still has the ’If’ and ’$P$’ run together.

• CommentRowNumber10.
• CommentAuthorUrs
• CommentTimeMar 17th 2023

Maybe we can convince your browser to recognize \phantom{,} as code for whitespace:

Please try again here, now coded as

  \text{If}\phantom{,}P\phantom{,}\text{is a theorem, then so is}\phantom{,}K P

• CommentRowNumber11.
• CommentAuthorDavid_Corfield
• CommentTimeMar 17th 2023

Another edit to the section now called ’Axioms for epistemic logic’. This is looking to convey a range of disagreement in the field of epistemic logic as to which of the standard axioms for the varieties of modal logic is appropriate to represent what is meant by ’know’.

• CommentRowNumber12.
• CommentAuthorDavid_Corfield
• CommentTimeMar 17th 2023

Re #10, thanks that’s working now.

• CommentRowNumber13.
• CommentAuthorDavid_Corfield
• CommentTimeMar 17th 2023

Added a reference which explains what’s at stake in distinguishing epistemic and metaphysical modalities:

• Boris Kment, Varieties of Modality, SEP
Add your comments
• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)