Reasoning on relations, modalities, and sets
From MaRDI portal
Publication:6599612
DOI10.1007/978-3-319-97879-6_6zbMATH Open1544.03049MaRDI QIDQ6599612
Andrea Formisano, Alberto Policriti, Eugenio G. Omodeo
Publication date: 6 September 2024
relation algebrasalgebraic logicpairingautomated equational reasoningmodal translation methodsset-theoretic deduction
Mechanization of proofs and logical operations (03B35) Cylindric and polyadic algebras; relation algebras (03G15) Abstract algebraic logic (03G27)
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?)
- Title not available (Why is that?)
- Logical analysis of demonic nondeterministic programs
- Compiling dyadic first-order specifications into map algebra
- Three-variable statements of set-pairing
- A set-theoretic translation method for polymodal logics
- A graphical representation of relational formulae with complementation
- An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning
- Relational dual tableaux for interval temporal logics ★
- An efficient relational deductive system for propositional non-classical logics
- Relational Methods in Computer Science
- Logics of Complementarity in Information Systems
- An Agg Application Supporting Visual Reasoning1
- Layered map reasoning
- Decidability results for sets with atoms
- An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
- The axiom of elementary sets on the edge of Peircean expressibility
- Theory and Applications of Relational Structures as Knowledge Instruments
- Goals and benchmarks for automated map reasoning
- Incomplete information: Structure, inference, complexity
This page was built for publication: Reasoning on relations, modalities, and sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6599612)
