Not signed in (Sign In)

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

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
  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

    v1, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeDec 28th 2022

    cross-linked with epistemology

    diff, v2, current

    • 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)

    diff, v2, current

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 17th 2023

    Some heavy editing.

    diff, v5, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMar 17th 2023

    hyperlinked the new occurrence of doxastic logic.

    diff, v6, current

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 17th 2023

    Some more additions.

    diff, v7, current

    • 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.

    N:IfPisatheorem,thensoisKP, \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
    

    diff, v8, current

    • CommentRowNumber9.
    • CommentAuthorDavid_Corfield
    • CommentTimeMar 17th 2023

    OK, thanks. But in my browser at least, it still has the ’If’ and ’PP’ 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
    

    diff, v10, current

    • 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’.

    diff, v11, current

    • 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

    diff, v12, current

    • CommentRowNumber14.
    • CommentAuthorUrs
    • CommentTimeJul 26th 2023

    added a couple of original references:

    diff, v14, current