Reasoning about negligibility and proximity in the set of all hyperreals

DOI10.1016/J.JAL.2016.04.002zbMATH Open1436.03326OpenAlexW2326088123MaRDI QIDQ301366FDOQ301366

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)

Cites Work

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

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)