Labelled propositional modal logics: theory and practice

DOI10.1093/LOGCOM/7.6.685MaRDI QIDQ4381865zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Isabelle logical frameworklabelled deductive systemspropositional modal logics

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 1140671
• scientific article; zbMATH DE number 1749009
• scientific article; zbMATH DE number 1140672
• Labelled modal logics: Quantifiers

Cited in

(32)

• Labelled modal logics: Quantifiers
• Natural deduction for first-order hybrid logic
• Data storage interpretation of labeled modal logic
• Efficient local reductions to basic modal logic
• Local is best: efficient reductions to modal logic \textsf{K}
• Local reductions for the modal cube
• \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments
• Intuitionistic hybrid logic
• Mechanizing common knowledge logic using COQ
• Labelled deduction for the guarded fragment
• Labelled modal tableaux
• Semantic pollution and syntactic purity
• A deduction theorem for normal modal propositional logic
• An efficient relational deductive system for propositional non-classical logics
• Why does the proof-theory of hybrid logic work so well?
• scientific article; zbMATH DE number 1215459 (Why is no real title available?)
• scientific article; zbMATH DE number 510780 (Why is no real title available?)
• scientific article; zbMATH DE number 516987 (Why is no real title available?)
• scientific article; zbMATH DE number 727674 (Why is no real title available?)
• LWBtheory: Information about some propositional logics via the WWW
• scientific article; zbMATH DE number 1140671 (Why is no real title available?)
• scientific article; zbMATH DE number 1140672 (Why is no real title available?)
• scientific article; zbMATH DE number 1499081 (Why is no real title available?)
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• scientific article; zbMATH DE number 1841827 (Why is no real title available?)
• scientific article; zbMATH DE number 1421197 (Why is no real title available?)
• Internalizing labelled deduction
• Propositional logics complexity and the sub-formula property
• Labelled proofs for quantified modal logic
• Harmonic inferentialism and the logic of identity
• A natural deduction calculus for \textbf{S4.2}
• Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi

Describes a project that uses

Uses Software

• Isabelle

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)