A basic system of congruential-to-monotone bimodal logic and two of its extensions (Q1374212)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A basic system of congruential-to-monotone bimodal logic and two of its extensions |
scientific article; zbMATH DE number 1093122
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A basic system of congruential-to-monotone bimodal logic and two of its extensions |
scientific article; zbMATH DE number 1093122 |
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
