Refined tableau systems for some modal logics of confluence
From MaRDI portal
Cites work
- \({\mathrm{K}{_ \mathrm{S}} \mathrm{P}}\): a resolution-based prover for multimodal K
- A fully labelled proof system for intuitionistic modal logics
- A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
- Automated synthesis of tableau calculi
- Axiomatic and tableau-based reasoning for Kt (H, R)
- Clausal resolution for modal logics of confluence
- Deep sequent systems for modal logic
- Display to Labeled Proofs and Back Again for Tense Logics
- Free-variable tableaux for propositional modal logics
- scientific article; zbMATH DE number 1612541 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3499717 (Why is no real title available?)
- scientific article; zbMATH DE number 3603256 (Why is no real title available?)
- scientific article; zbMATH DE number 1267561 (Why is no real title available?)
- scientific article; zbMATH DE number 1749009 (Why is no real title available?)
- scientific article; zbMATH DE number 1765691 (Why is no real title available?)
- scientific article; zbMATH DE number 1435945 (Why is no real title available?)
- scientific article; zbMATH DE number 6302922 (Why is no real title available?)
- scientific article; zbMATH DE number 3274715 (Why is no real title available?)
- Inducing syntactic cut-elimination for indexed nested sequents
- Kripke's worlds. An introduction to modal logics via tableaux
- Logic in Computer Science
- Modal logic
- Modal tableau systems with blocking and congruence closure
- Nested sequents for intuitionistic modal logics via structural refinement
- Prefixed tableaus and nested sequents
- Proof analysis in modal logic
- Proof theory for indexed nested sequents
- Resolution in modal, description and hybrid logic
- Single step tableaux for modal logics. Computational properties, complexity and methodology
- System Description: Spass Version 3.0
- Tableau methods for modal and temporal logics
- Tableau methods of proof for modal logics
- The axiomatic translation principle for modal logic
- The Method of Tree-Hypersequents for Modal Propositional Logic
This page was built for publication: Refined tableau systems for some modal logics of confluence
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6860388)
