Labelled propositional modal logics: theory and practice
From MaRDI portal
Publication:4381865
Recommendations
Cited in
(24)- Local reductions for the modal cube
- Why does the proof-theory of hybrid logic work so well?
- scientific article; zbMATH DE number 516987 (Why is no real title available?)
- scientific article; zbMATH DE number 1421197 (Why is no real title available?)
- A natural deduction calculus for \textbf{S4.2}
- Mechanizing common knowledge logic using COQ
- scientific article; zbMATH DE number 510780 (Why is no real title available?)
- Data storage interpretation of labeled modal logic
- Intuitionistic hybrid logic
- Propositional logics complexity and the sub-formula property
- A deduction theorem for normal modal propositional logic
- scientific article; zbMATH DE number 1749009 (Why is no real title available?)
- Harmonic inferentialism and the logic of identity
- Efficient local reductions to basic modal logic
- Semantic pollution and syntactic purity
- An efficient relational deductive system for propositional non-classical logics
- scientific article; zbMATH DE number 727674 (Why is no real title available?)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- scientific article; zbMATH DE number 1841827 (Why is no real title available?)
- Local is best: efficient reductions to modal logic \textsf{K}
- Natural deduction for first-order hybrid logic
- Labelled deduction for the guarded fragment
- Labelled proofs for quantified modal logic
- Labelled modal tableaux
This page was built for publication: Labelled propositional modal logics: theory and practice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4381865)
