Labelled propositional modal logics: theory and practice
From MaRDI portal
Publication:4381865
DOI10.1093/logcom/7.6.685zbMath0902.03007OpenAlexW2072883183MaRDI QIDQ4381865
Seán Matthews, Luca Viganò, David A. 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
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items (11)
SEMANTIC POLLUTION AND SYNTACTIC PURITY ⋮ Mechanizing common knowledge logic using COQ ⋮ Unnamed Item ⋮ HARMONIC INFERENTIALISM AND THE LOGIC OF IDENTITY ⋮ Natural deduction for first-order hybrid logic ⋮ Intuitionistic hybrid logic ⋮ \(\mathrm{K}_{\mathrm S}\mathrm{P}\) a resolution-based theorem prover for \({\mathsf{K}}_n\): architecture, refinements, strategies and experiments ⋮ Efficient local reductions to basic modal logic ⋮ Why does the proof-theory of hybrid logic work so well? ⋮ Local is best: efficient reductions to modal logic \textsf{K} ⋮ Local reductions for the modal cube
Uses Software
This page was built for publication: Labelled propositional modal logics: theory and practice
