Access the full text.
Sign up today, get DeepDyve free for 14 days.
B.F. Chellas (1980)
Modal Logic: An Introduction
W. Hoek (1993)
Systems for Knowledge and BeliefJ. Log. Comput., 3
J.-J. Ch. Meyer, W. Hoek (1992)
Nonmonotonic Reasoning and Partial Semantics
Yoad Winter, Mori Rimon (1994)
Contrast and Implication in Natural LanguageJ. Semant., 11
(1991)
Contrastive logic, Techn
Brian Chellas (1980)
Modal Logic: Normal systems of modal logic
R. Reiter (1987)
Nonmonotonic reasoningAnnual Reviews of Comp. Sci., 2
J. Hintikka (1962)
Knowledge and Belief
Joseph Halpern, Y. Moses (1985)
A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft
M.L. Ginsberg (1987)
Introduction of “Readings in Nonmonotonic Reasoning
Pierre-Yves Schobbens (1993)
Exceptions for Algebraic Specifications: On the Meaning of "but"Sci. Comput. Program., 20
R. Reiter (1987)
A Logic for Default ReasoningArtif. Intell., 13
G. Hughes, M. Cresswell (1984)
A companion to modal logic
Frank Veltman (1986)
Data semantics and the pragmatics of indicative conditionals
J.-J. Ch. Meyer (1990)
Proc. 7th Amsterdam Colloquium
S. Hanks, D. McDermott (1987)
Nonmonotonic Logic and Temporal ProjectionArtif. Intell., 33
P. Crivelli, T. Williamson, G. Hughes, M. Cresswell (1998)
A New Introduction to Modal Logic
J. Ch, W. Meyer, Hoek Der, Epistemic, G. Hughes, M. Cresswell, Van Linder, W. Hoek, Meyer, In Hoek, Y. Meyer, C. Tan, Non Witteveen, R Fagin, J. Halpern, Y. Moses, M. Vardi, W Hoek, B. Linder, J. Ch, Unravelling (1994)
A Modal Logic for Nonmonotonic Reasoning
N. Francez (1991)
Contrastive logic
J. Meyer, W. Hoek (1993)
Counterfactual reasoning by (means of) defaultsAnnals of Mathematics and Artificial Intelligence, 9
J. Meyer, W. Hoek (1995)
Epistemic logic for AI and computer science, 41
Robert Moore (1985)
Semantical Considerations on Nonmonotonic Logic
(1993)
An epistemic logic for defeasible reasoning using a metalevel architecture metaphor, VU-Report IR-329
F. Veltman (1986)
On Conditionals
J. Meyer, W. Hoek (1990)
Non-Monotonic Reasoning by Monotonic Means
Christine Froidevaux, J. Kohlas (1995)
Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 946
J.-J. Ch. Meyer, W. Hoek (1993)
Proc. ECSQARU'93, Granada
In this paper we present a modal approach to “contrastive logic”, the logic of contrasts as these appear in natural language conjunctions such as ‘but’. We use a simple modal logic, which is an extension of the well-knownS5 logic, and base the contrastive operators proposed by Francez in [2] on the basic modalities that appear in this logic. We thus obtain a logic for contrastive operators that is more in accord with the tradition of intensional logic, and that, moreover — we argue — has some more natural properties. Particularly, attention is paid to nesting contrastive operators. We show that nestings of ‘but’ give quite natural results, and indicate how nestings of other contrastive operators can be done adequately. Finally, we discuss the example of the Hangman's Paradox and some similarities (and differences) with default reasoning.
Annals of Mathematics and Artificial Intelligence – Springer Journals
Published: Aug 13, 2005
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.