Concepedia
Philosophical Studies · 1979 · 69 citations · 2 references
Formal SemanticsRelevance LogicAutomated ReasoningLanguage StudiesSemanticsLinguistics
2
AN INTRODUCTION TO MODAL LOGIC
J. E. J. Altham · Philosophical Books · 1969 · 785 citations
Engineering, Automated Reasoning, Propositional Logic +5
Propositional Logics Related to Heyting's and Johansson's
Krister Segerberg · Theoria · 1968 · 105 citations
Automated Reasoning, Propositional Logic, Classical Logic +5