scientific article; zbMATH DE number 6979315

MaRDI QIDQ4554399zbMATH OpenFDO

Authors Manuel A. Martins, Alexandre Madeira, L. S. Barbosa

Publication date 14 November 2018

zbMATH Keywords

bisimulationequational hybrid logicinfinitary logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Hybrid Logics with Infinitary Proof Systems
• Infinitary hybrid logic and the Lindelöf property
• A Hilbert-style axiomatisation for equational hybrid logic
• Infinitary equilibrium logic and strongly equivalent logic programs
• scientific article; zbMATH DE number 1961524
• Infinitary Equilibrium Logic and Strong Equivalence
• Hybrid Identities and Hybrid Equational Logic
• Infinitary classical logic: recursive equations and interactive semantics
• Coinductive foundations of infinitary rewriting and infinitary equational logic
• scientific article; zbMATH DE number 1948172

Cited in

(6)

• Refinement in hybridised institutions
• Completeness and decidability results for hybrid(ised) logics
• Infinitary Equilibrium Logic and Strong Equivalence
• scientific article; zbMATH DE number 1389646 (Why is no real title available?)
• Hybrid Logics with Infinitary Proof Systems
• Modality across different logics

This page was built for publication:

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