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

1975Studies in logic and the foundations of mathematics引用 323

Logic, Reasoning, and KnowledgeLogic, programming, and type systemsAdvanced Algebra and Logic

作者

Henrik Sahlqvist