Searching for "Modal Logics in the Vicinity of S1." – sorted by Relevance.
-
Canonicity for Intensional Logics without Iterative Axioms
- in the vicinity of S1. Again, completeness and hence canonicity of these non-iterative logics became a significant
- Cited by 5 (3 self) – Add To MetaCart

