Synthetic Completeness

MaRDI QIDQ7361906FDO

Authors Asta Halkjær From

Publication date 9 January 2023

Cites work

• Cardinals in Isabelle/HOL
• Unnamed Publication
• Unnamed Publication
• Hybrid logic and its proof-theory
• Modal logic

Cited in

(1)

• A meta-modal logic for bisimulations

This page was built for software: Synthetic Completeness