1112capstones_231_OBJ.pdf (344.33 kB)

Decidability, Topological Semantics and Completeness for S4

educational resource

posted on 2023-08-03, 12:43 authored by Christopher Malerich

Description to be added

History

Publisher

American University

Language

English

Handle

http://hdl.handle.net/1961/10642

Usage metrics

Categories

No categories selected

Keywords

Mathematics Modal logic Topology Boolean algebra

Licence

CC BY-NC-ND 4.0

Exports