User reported SUGGESTION pl0/slides/semantic-properties.en.xhtml
A content SUGGESTION was logged by "Praveen Kumar Vadlamani" at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=2v696w.-qxa9pm%7Eb5f7ba0a
The issue as described by the user:
`here m = t for all variable assignments ?
The text highlighted while reporting this issue:
▷valid in
ℳ, iff
ℳ|=𝜑𝐀
for all
variable assignments
𝜑,
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/GenCS/-/blob/main/source/pl0/slides/semantic-properties.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/GenCS&filepath=pl0/slides/semantic-properties.en.xhtml&bindings=0_7_3X7DPhptU -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog-formal.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog-formal.en.xhtml&bindings=0_0_RYhK -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/logic/sec/proplog.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=logic/sec/proplog.en.xhtml&bindings=0_0_QhI -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/krinf.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/krinf.en.xhtml&bindings=0_0_OE -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtml