Deductive systems and the decidability problem for hybrid logics
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Combined logics (03B62) Undecidability and degrees of sets of sentences (03D35) Proof theory and constructive mathematics (03F99)
Recommendations
Cited in
(16)- On the expressiveness of TPTL and MTL
- Blocking and other enhancements for bottom-up model generation methods
- Resolution in modal, description and hybrid logic
- Completeness and decidability results for hybrid(ised) logics
- scientific article; zbMATH DE number 6533399 (Why is no real title available?)
- scientific article; zbMATH DE number 1303067 (Why is no real title available?)
- scientific article; zbMATH DE number 1341482 (Why is no real title available?)
- scientific article; zbMATH DE number 2090297 (Why is no real title available?)
- scientific article; zbMATH DE number 1424043 (Why is no real title available?)
- scientific article; zbMATH DE number 6795677 (Why is no real title available?)
- Modal Hybrid Logic
- Hybrid Logics with Infinitary Proof Systems
- Logic for Programming, Artificial Intelligence, and Reasoning
- Hybrid logic and its proof-theory
- On temporal references via definite descriptions in first-order monadic logic of order
- Pure extensions, proof rules, and hybrid axiomatics
This page was built for publication: Deductive systems and the decidability problem for hybrid logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3452675)
