Skip to content

Truth-Preserving Operations on Sums of Kripke Frames.

Ilya Shapirovsky

VenueBAiML
Year2018
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.