Labelled propositional modal logics: theory and practice
From MaRDI portal
Publication:4381865
DOI10.1093/LOGCOM/7.6.685zbMATH Open0902.03007OpenAlexW2072883183MaRDI QIDQ4381865FDOQ4381865
Authors: Seán Matthews, Luca Viganò, David Basin 
Publication date: 25 March 1998
Published in: Journal Of Logic And Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/a99d92e9d2f46ade3dc4f394546bc0336d9505e3
Recommendations
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Cited In (24)
- Local reductions for the modal cube
- Why does the proof-theory of hybrid logic work so well?
- Title not available (Why is that?)
- Title not available (Why is that?)
- A natural deduction calculus for \textbf{S4.2}
- Mechanizing common knowledge logic using COQ
- Title not available (Why is that?)
- Intuitionistic hybrid logic
- Data storage interpretation of labeled modal logic
- Propositional logics complexity and the sub-formula property
- A deduction theorem for normal modal propositional logic
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
- Title not available (Why is that?)
- 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
Uses Software
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)
