A modal contrastive logic: The logic of ``but
From MaRDI portal
Publication:1380429
DOI10.1007/BF02127972zbMath0887.03021MaRDI QIDQ1380429
Wiebe van der Hoek, John-Jules Ch. Meyer
Publication date: 17 May 1998
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
modal logic; default reasoning; contrastive operators; Hangman's Paradox; logic of contrasts; natural language conjunctions
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
03B65: Logic of natural languages
Cites Work
- Exceptions for algebraic specifications: On the meaning of ``but
- Semantical considerations on nonmonotonic logic
- Nonmonotonic logic and temporal projection
- A logic for default reasoning
- Counterfactual reasoning by (means of) defaults
- Epistemology Without Knowledge and Without Belief
- Systems for Knowledge and Belief
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item