Models for EntailmentKit Fine · Journal of Philosophical Logic · 1974

General Models and Entailment Semantics for Independence LogicGalliani, Pietro · Notre Dame Journal of Formal Logic · 2013

[Lecture Notes in Computer Science] Database Systems for Advanced Applications Volume 10177 || Max-Cosine Matching Based Neural Models for Recognizing Textual EntailmentCandan, Selçuk; Chen, Lei; Pedersen, Torben Bach; Chang, Lijun; Hua, Wen · 2017

[ACM Press the 13th ACM symposium - Estes Park, CO, USA (2008.06.11-2008.06.13)] Proceedings of the 13th ACM symposium on Access control models and technologies - SACMAT '08 - Task-based entailment constraints for basic workflow patternsWolter, Christian; Schaad, Andreas; Meinel, Christoph · 2008

The Logics Containing S 4.3Kit Fine · 1971

The problem of non-existentsKit Fine · 1982

Truth without satisfactionKit Fine; Timothy McCarthy · 1984

Semantics for quantified relevance logicKit Fine · 1988

Properties, propositions and setsKit Fine · 1977

First-order modal theoriesKit Fine · Studia Logica · 1980

Vagueness, truth and logicKit Fine · Synthese · 1975