D
David Makinson
Researcher at London School of Economics and Political Science
Publications - 62
Citations - 6704
David Makinson is an academic researcher from London School of Economics and Political Science. The author has contributed to research in topics: Multimodal logic & Non-monotonic logic. The author has an hindex of 24, co-authored 59 publications receiving 6400 citations. Previous affiliations of David Makinson include University of Buenos Aires & King's College London.
Papers
More filters
Book ChapterDOI
Relevance-Sensitive Truth-Trees
TL;DR: In this paper, a clear rationale for relevance-sensitive propositional logic is presented, using truth-tree decomposition rules for truth-functional connectives, accompanied by novel ones for the for the arrow.
Journal ArticleDOI
An Alternative Characterization of First-Degree Entailment
Stig Kanger,David Makinson +1 more
Journal ArticleDOI
First-order friendliness
Guillermo Badia,David Makinson +1 more
TL;DR: In this paper , a consequence relation for predicate languages with equality using first-order models is studied, where compactness, interpolation and axiomatizability fail dramatically, while several other properties are preserved from the propositional case.