I detta dokument presenterar vi en modal strategi för "kontrastiv logik", logiken i kontraster som dessa visas i naturliga språk sammanhang som "men". Vi använder en enkel modal logik, som är en förlängning av de välkända $ 5 Iogic, och baserar de kontrastiva operatörer som föreslås av Francez i [2] på de grundläggande metoder som visas i denna logik. På så sätt får vi en logik för kontrasterande aktörer som är mer i överensstämmelse med traditionen av extensiv logik, och som dessutom - hävdar vi - har några mer naturliga egenskaper. Särskilt uppmärksamhet ägnas åt att häcka kontrasterande aktörer. Vi visar att häckningar av "men" ger ganska naturliga resultat, och visar hur häckningar av andra kontrasterande aktörer kan göras på ett tillfredsställande sätt. Slutligen diskuterar vi exemplet med Hangman's Paradox och några likheter (och skillnader) med standard resonemang.
Baserat på de kontrasterande operatörer som föreslagits av Francez, presenteras en modal strategi för kontrastiv logik i REF.Deras kontrastiva logik är faktiskt en enkel modal logik som är en utvidgning till den välkända S5-logiken med Francez kontrasterande operatör.
A modal contrastive logic: The logic of ‘but’
{'venue': 'Annals of Mathematics and Artificial Intelligence', 'journal': 'Annals of Mathematics and Artificial Intelligence', 'mag_field_of_study': ['Mathematics', 'Computer Science']}