Tolerance logic


Abstract
We expand first order models with a tolerance relation on thedomain. Intuitively, two elements stand in this relation if they arecognitively close for the agent who holds the model. This simplenotion turns out to be very powerful. It leads to a semanticcharacterization of the guarded fragment of Andréka, van Benthemand Németi, and highlights the strong analogies between modallogic and this fragment. Viewing the resulting logic – tolerance logic– dynamically it is a resource-conscious information processingalternative to classical first order logic. The differences areindicated by several examples.
Keywords guarded fragments  relativised first order logic
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1011207512025
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 45,727
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Guarded Fragments with Constants.Balder ten Cate & Massimo Franceschet - 2005 - Journal of Logic 14 (3):281-288.

View all 9 citations / Add more citations

Similar books and articles

Guards, Bounds, and Generalized Semantics.Johan van Benthem - 2005 - Journal of Logic, Language and Information 14 (3):263-279.
The Semijoin Algebra and the Guarded Fragment.Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz & Jan Van den Bussche - 2005 - Journal of Logic, Language and Information 14 (3):331-343.
The Conditions of Tolerance.Ryan Muldoon, Michael Borgida & Michael Cuffaro - 2012 - Politics, Philosophy and Economics 11 (3):322-344.
A Critique of Pure Tolerance.Robert Paul Wolff - 1969 - Boston: Beacon Press.
An Event-Based Fragment of First-Order Logic Over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.

Analytics

Added to PP index
2009-01-28

Total views
15 ( #582,849 of 2,280,955 )

Recent downloads (6 months)
3 ( #418,374 of 2,280,955 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature