scientific article; zbMATH DE number 5872402

MaRDI QIDQ3086937zbMATH OpenFDO

Authors Marta Bílková, Alessandra Palmigiano, Yde Venema

Publication date 30 March 2011

zbMATH Keywords

coalgebracoalgebraic modalitycompletenessderivation systemGentzen calculusmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Recommendations

• Proof systems for Moss' coalgebraic logic
• Completeness for the coalgebraic cover modality
• Specifying coalgebras with modal logic
• scientific article; zbMATH DE number 1231627
• A modal proof theory for final polynomial coalgebras
• Model theory and proof theory of coalgebraic predicate logic
• Coalgebraic Modal Logic in CoCasl
• scientific article; zbMATH DE number 1497872
• Proof by computation in the Coq system
• Modular construction of complete coalgebraic logics

Cited in

(19)

• Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
• A simple logic for reasoning about incomplete knowledge
• Formalizing cut elimination of coalgebraic logics in Coq
• Admissibility of cut in coalgebraic logics
• Completeness for the coalgebraic cover modality
• Weak negation in inquisitive semantics
• A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
• Proof systems for Moss' coalgebraic logic
• Modalities in the Stone age: a comparison of coalgebraic logics
• The succinctness of the cover modality
• Refinement modal logic
• A mechanized proof system of the third generation calculus in Coq
• Rough and Near: Modal History of Two Theories
• Moss' logic for ordered coalgebras
• Coherence for modalities
• Proof by computation in the Coq system
• Completeness for flat modal fixpoint logics
• Coalgebraic semantics of modal logics: an overview
• A coalgebraic view on positive modal logic

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 Q3086937)