Completeness and Correspondence in the First and Second Order Semantics for Modal Logic 论文

1975Studies in logic and the foundations of mathematics引用 323
DOI
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

Completeness and Correspondence in the First and Second Order Semantics for Modal Logic · 相关技术

暂无数据