Back to Results
First PageMeta Content
Logic / Mathematical logic / Abstraction / Predicate logic / Model theory / Philosophical logic / Modal logic / Kripke semantics / First-order logic / Sheaf / FO / Well-formed formula


On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI,
Add to Reading List

Document Date: 2015-05-18 14:28:46


Open Document

File Size: 211,21 KB

Share Result on Facebook