Logics for order-of-magnitude qualitative reasoning: formalizing negligibility
type: Item
instance of: scholarly article
title: Logics for order-of-magnitude qualitative reasoning: formalizing negligibility
zbMATH Open document ID: 1544.03021
DOI: 10.1007/978-3-319-97879-6_8
author: Alfredo Burrieza
author: Emilio Muñoz-Velasco
author: Manuel Ojeda-Aciego
publication date: 2024-09-06T00:00:00Z
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 7908127
zbMATH Keywords: qualitative reasoning
zbMATH Keywords: modal logic
zbMATH Keywords: negligibility
zbMATH Keywords: relational logic
zbMATH Keywords: dual tableaux
zbMATH Keywords: order of magnitude reasoning
MaRDI profile type: Publication
cites work: Reasoning about negligibility and proximity in the set of all hyperreals
cites work: Multi-dimensional modal logic as a framework for spatio-temporal reasoning
cites work: Q3408862
description: scientific article; zbMATH DE number 7908127