:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cantone, Domenico, Nicolosi-Asmundo, Marianna, Santamaria, Daniele Francesco
Format:	Preprint
Published:	2018
Subjects:	Logic in Computer Science
Online Access:	https://arxiv.org/abs/1804.11222
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A C++ reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2017)

A set-based reasoner for the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
by: Cantone, Domenico, et al.
Published: (2018)

A set-theoretical approach for ABox reasoning services (Extended Version)
by: Cantone, Domenico, et al.
Published: (2017)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
by: Cantale, Claudia, et al.
Published: (2017)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
by: Bella, Giampaolo, et al.
Published: (2023)

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
by: Bella, Giampaolo, et al.
Published: (2021)

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services (Extended Version)
by: Cantone, Domenico, et al.
Published: (2020)

A logic for default deontic reasoning
by: Piazza, Mario, et al.
Published: (2025)

Non-distributive description logic
by: van der Berg, Ineke, et al.
Published: (2023)

Lyndon interpolation property for extensions of $\mathbf{S4}$ and intermediate propositional logics
by: Kurahashi, Taishi
Published: (2024)

A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
by: Dalmonte, Tiziano, et al.
Published: (2025)

Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates
by: Cantone, Domenico, et al.
Published: (2024)

Solving unification in the description logic $\mathcal{FL}_\bot$
by: Morawska, Barbara, et al.
Published: (2024)

Extended multi-adjoint logic programming
by: Cornejo, M. Eugenia, et al.
Published: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)

The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
by: Alrabbaa, Christian, et al.
Published: (2025)

New foundations of reasoning via real-valued first-order logics
by: Badia, Guillermo, et al.
Published: (2022)

Intuitionistic modal logics: epistemic reasoning with distributed knowledge
by: Balbiani, Philippe
Published: (2025)

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
by: Borzechowski, Manfred, et al.
Published: (2025)

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)
by: Borgwardt, Stefan, et al.
Published: (2024)

Labelled calculi for lattice-based modal logics
by: van der Berg, Ineke, et al.
Published: (2024)

Completeness of two fragments of a logic for conditional strategic reasoning
by: Li, Yinfeng, et al.
Published: (2024)

Obligations and permissions on selfextensional logics
by: De Domenico, Andrea, et al.
Published: (2024)

A discrete-time temporal deontic STIT logic based on interpreted systems
by: Rong, Shuge, et al.
Published: (2025)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
by: Caires-Santos, Ali K., et al.
Published: (2025)

Six equations in search of a finite-fold-ness proof
by: Cantone, Domenico, et al.
Published: (2023)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
by: Paulus, Joseph W. N., et al.
Published: (2021)

Modelling of logical systems by means of their fragments
by: Rybakov, Mikhail
Published: (2025)

Modular constructive Lyndon interpolation for nondistributive logics
by: De Domenico, Andrea, et al.
Published: (2026)

Monadic Intersection Types, Relationally (Extended Version)
by: Gavazzo, Francesco, et al.
Published: (2024)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
by: Baldan, Paolo, et al.
Published: (2025)

Labelled calculi for the logics of rough concepts
by: van der Berg, Ineke, et al.
Published: (2024)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
by: Castaño, Diego, et al.
Published: (2024)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
by: Lööw, Andreas, et al.
Published: (2024)

Wider systems for linear logic with fixed points: proof theory and complexity
by: Das, Anupam, et al.
Published: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
by: Kontinen, Juha, et al.
Published: (2026)

PECR: A formal system based on computability logic
by: Pantelis, G.
Published: (2024)

Quantum modal logic
by: Tokuo, Kenji
Published: (2025)

Continuous logic in a classical setting
by: Agostini, Claudio, et al.
Published: (2024)

Tableau methodology for propositional logics
by: Jarmuzek, T., et al.
Published: (2025)