Reasoning on relations, modalities, and sets
type: Item
instance of: scholarly article
title: Reasoning on relations, modalities, and sets
zbMATH Open document ID: 1544.03049
DOI: 10.1007/978-3-319-97879-6_6
author: Andrea Formisano
author: Eugenio Omodeo
author: Alberto Policriti
publication date: 2024-09-06T00:00:00Z
Mathematics Subject Classification ID: 03G27
Mathematics Subject Classification ID: 03G15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 7908125
zbMATH Keywords: modal translation methods
zbMATH Keywords: set-theoretic deduction
zbMATH Keywords: automated equational reasoning
zbMATH Keywords: relation algebras
zbMATH Keywords: algebraic logic
zbMATH Keywords: pairing
MaRDI profile type: Publication
cites work: Q3992552
cites work: Relational dual tableaux for interval temporal logics ★
cites work: Relational Methods in Computer Science
cites work: An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
cites work: Theory and Applications of Relational Structures as Knowledge Instruments
cites work: Q2740887
cites work: Compiling dyadic first-order specifications into map algebra
cites work: A graphical representation of relational formulae with complementation
cites work: Q5573370
cites work: A set-theoretic translation method for polymodal logics
cites work: Logical analysis of demonic nondeterministic programs
cites work: Incomplete information: Structure, inference, complexity
cites work: Decidability results for sets with atoms
cites work: Q4329277
cites work: Logics of Complementarity in Information Systems
cites work: Q4503910
cites work: An efficient relational deductive system for propositional non-classical logics
cites work: An Agg Application Supporting Visual Reasoning1
cites work: Goals and benchmarks for automated map reasoning
cites work: Layered map reasoning
cites work: Q4539604
cites work: Three-variable statements of set-pairing
cites work: The axiom of elementary sets on the edge of Peircean expressibility
cites work: An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
description: scientific article; zbMATH DE number 7908125