Reasoning about negligibility and proximity in the set of all hyperreals

DOI10.1016/J.JAL.2016.04.002zbMath1436.03326OpenAlexW2326088123MaRDI QIDQ301366

Philippe Balbiani

Publication date: 30 June 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2016.04.002

zbMATH Keywords

modal logicfirst-order theorydefinabilityqualitative reasoningaxiomatization/completenessdecidability/complexity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonstandard models in mathematics (03H05)

Related Items (1)

A multimodal logic for closeness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A non-standard temporal deductive database system
• Model theory.
• Line-based affine reasoning in Euclidean plane
• Relative and absolute order-of-magnitude models unified
• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
• A Decision Procedure for the First Order Theory of Real Addition with Order
• A Nonstandard Approach to Option Pricing
• Nonstandard versions of conventionally infinite networks
• Relational Approach to Order-of-Magnitude Reasoning

This page was built for publication: Reasoning about negligibility and proximity in the set of all hyperreals