Dmitrij P. Skvortsov, Valentin B. Shehtman. Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics. Annals of Pure and Applied Logic, 63(1):69-101, 1993.
@article{SkvortsovS93,
title = {Maximal Kripke-Type Semantics for Modal and Superintuitionistic Predicate Logics},
author = {Dmitrij P. Skvortsov and Valentin B. Shehtman},
year = {1993},
tags = {semantics, modal logic, logic},
researchr = {https://researchr.org/publication/SkvortsovS93},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {63},
number = {1},
pages = {69-101},
}