A Tableau System for Quasi-Hybrid Logic

DOI10.1007/978-3-319-40229-1_30zbMath1476.03033OpenAlexW2506574695MaRDI QIDQ2817942

Manuel A. Martins, Diana Costa

Publication date: 5 September 2016

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10773/16014

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Analysing inconsistent first-order knowledgebases
• Four-valued modal logic: Kripke semantics and duality
• Paraconsistency in hybrid logic
• Computability and Logic
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Hybrid logic and its proof-theory

This page was built for publication: A Tableau System for Quasi-Hybrid Logic