Inproceedings,

Kripke Completeness of Strictly Positive Modal Logics Over Meet Semi-Lattices with Operators.

.
Advances in Modal Logic, page 9. College Publications, (2018)

Meta data

Tags

Users

  • @dblp

Comments and Reviews