Exploring logical dynamics
A fine-structure analysis of first-order logic
Arrow logic and multi-modal logic
Anaphoric Definitions in Description Logic
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Guards, Bounds, and Generalized Semantics
Journal of Logic, Language and Information
Guarded Fragments with Constants
Journal of Logic, Language and Information
The Semijoin Algebra and the Guarded Fragment
Journal of Logic, Language and Information
A comprehensive combination framework
ACM Transactions on Computational Logic (TOCL)
Combining theories: the Ackerman and guarded fragments
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
On the finite satisfiability problem for the guarded fragment with transitivity
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Invited contribution: a comprehensive framework for combined decision procedures
FroCoS'05 Proceedings of the 5th international conference on Frontiers of Combining Systems
Hi-index | 0.00 |
We expand first order models with a tolerance relation on thedomain. Intuitively, two elements stand in this relation if they are“cognitively 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.