American University
Browse

Decidability, Topological Semantics and Completeness for S4

Download (344.33 kB)
educational resource
posted on 2023-08-03, 12:43 authored by Christopher Malerich

Description to be added

History

Publisher

American University (Washington, D.C.)

Language

English

Handle

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

Usage metrics

    Honors Capstones

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC