Terminating hybrid tableaus for ordered models

DOI10.1093/LOGCOM/EXAG024MaRDI QIDQ7286319zbMATH OpenFDO

Authors Yuki Nishimura

Publication date 23 June 2026

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAG024

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• Completeness of tableau calculi for two-dimensional hybrid logics
• scientific article; zbMATH DE number 3129315 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 1341482 (Why is no real title available?)
• Hybrid logic and its proof-theory
• Hybrid logics: Characterization, interpolation and complexity
• Modal Hybrid Logic
• Nominal tense logic
• Pure extensions, proof rules, and hybrid axiomatics
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Temporal logics in computer science. Finite-state systems
• Terminating Tableau Calculi for Hybrid Logics Extending K
• Termination for Hybrid Tableaus

This page was built for publication: Terminating hybrid tableaus for ordered models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7286319)