Reasoning about negligibility and proximity in the set of all hyperreals

DOI10.1016/J.JAL.2016.04.002MaRDI QIDQ301366zbMATH OpenOpenAlexFDO

Authors 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 logicdefinabilityqualitative reasoningaxiomatization/completenessdecidability/complexityfirst-order theory

Mathematics Subject Classification ID

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

Recommendations

• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
• scientific article; zbMATH DE number 846158
• scientific article; zbMATH DE number 4130388
• scientific article; zbMATH DE number 1827970
• scientific article; zbMATH DE number 4124592

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1222940 (Why is no real title available?)
• scientific article; zbMATH DE number 1249660 (Why is no real title available?)
• scientific article; zbMATH DE number 1324669 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• A Decision Procedure for the First Order Theory of Real Addition with Order
• A Nonstandard Approach to Option Pricing
• A non-standard temporal deductive database system
• Line-based affine reasoning in Euclidean plane
• Modal logic
• Model theory.
• Nonstandard versions of conventionally infinite networks
• Relational Approach to Order-of-Magnitude Reasoning
• Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance
• Relative and absolute order-of-magnitude models unified

Cited in

(3)

• Logics for order-of-magnitude qualitative reasoning: formalizing negligibility
• Approximating the existential theory of the reals
• A multimodal logic for closeness

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q301366)