Author: David_Corfield Format: MarkdownItexAdded a clause to the 'gloss'
> The binary relation of the frame allows for the modelling of the truth of a modal proposition, $\Diamond \phi$ or $\Box \phi$, at some world in terms of the truth of $\phi$ at related worlds.
<a href="https://ncatlab.org/nlab/revision/diff/geometric+model+for+modal+logics/13">diff</a>, <a href="https://ncatlab.org/nlab/revision/geometric+model+for+modal+logics/13">v13</a>, <a href="https://ncatlab.org/nlab/show/geometric+model+for+modal+logics">current</a>
Added a clause to the ’gloss’
The binary relation of the frame allows for the modelling of the truth of a modal proposition, $\Diamond \phi$ or $\Box \phi$, at some world in terms of the truth of $\phi$ at related worlds.
Author: David_Corfield Format: MarkdownItexThis page needs an overhaul, when I have a moment.
<a href="https://ncatlab.org/nlab/revision/diff/geometric+model+for+modal+logics/14">diff</a>, <a href="https://ncatlab.org/nlab/revision/geometric+model+for+modal+logics/14">v14</a>, <a href="https://ncatlab.org/nlab/show/geometric+model+for+modal+logics">current</a>
This page needs an overhaul, when I have a moment.