A basic system of congruential-to-monotone bimodal logic and two of its extensions (Q1374212)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A basic system of congruential-to-monotone bimodal logic and two of its extensions |
scientific article |
Statements
A basic system of congruential-to-monotone bimodal logic and two of its extensions (English)
0 references
2 December 1997
0 references
epistemic logic
0 references
epistemically necessary
0 references
epistemically possible
0 references
failure of closure of knowledge under logical consequence
0 references
bimodal logic
0 references
