Decidability, Topological Semantics and Completeness for S4
educational resource
posted on 2023-08-03, 12:43 authored by Christopher MalerichDescription to be added
History
Publisher
American University (Washington, D.C.)Language
EnglishHandle
http://hdl.handle.net/1961/10642Usage metrics
Categories
No categories selectedLicence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC