Cited By
View all- From ABlackburn PVilladsen J(2020)Formalizing a Seligman-Style Tableau System for Hybrid LogicAutomated Reasoning10.1007/978-3-030-51074-9_27(474-481)Online publication date: 1-Jul-2020
- Doczkal CSmolka G(2012)Constructive completeness for modal logic with transitive closureProceedings of the Second international conference on Certified Programs and Proofs10.1007/978-3-642-35308-6_18(224-239)Online publication date: 13-Dec-2012