## Author:David Gabelaia
## Keyphrasescountable model property, free Boolean extensions and MacNeille completions, join and meet infinite distributive laws, modal logic, nuclei and Booleanization, topological semantics. |

| ||||

Copyright © 2012-2020 easychair.org. All rights reserved. |