Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance

DOI10.1093/jigpal/jzp016zbMath1171.68043OpenAlexW2074747250MaRDI QIDQ3391741

Joanna Golińska-Pilarek, Emilio Muñoz-Velasco

Publication date: 12 August 2009

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

Full work available at URL: https://semanticscholar.org/paper/e614d8d7062dd71d3b2fd557ba177ddf0f16ee1e

zbMATH Keywords

relational logicsdual tableau systemsmultimodal propositional logicorder-of-magnitude qualitative reasoning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (6)

Reasoning about negligibility and proximity in the set of all hyperreals ⋮ On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility ⋮ Relational dual tableau decision procedures and their applications to modal and intuitionistic logics ⋮ A multimodal logic for closeness ⋮ A PDL APPROACH FOR QUALITATIVE VELOCITY ⋮ Implementing a relational theorem prover for modal logic

This page was built for publication: Relational approach for a logic for order of magnitude qualitative reasoning with negligibility, non-closeness and distance