Modal tableau calculi and interpolation

DOI10.1007/BF00249258zbMath0547.03015MaRDI QIDQ798647

Wolfgang Rautenberg

Publication date: 1983

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

Kripke semanticsfinite model propertytableau systeminterpolation propertynormal modal calculipropositional modal calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Related Items (31)

Constructive interpolation in hybrid logic ⋮ An analog of Beth's theorem in normal extensions of the modal logic K4 ⋮ Cut-free sequent and tableau systems for propositional Diodorean modal logics ⋮ Splittings and the finite model property ⋮ Converse-PDL with regular inclusion axioms: a framework for MAS logics ⋮ Properties of independently axiomatizable bimodal logics ⋮ ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching ⋮ Uniform and non uniform strategies for tableaux calculi for modal logics ⋮ Rosser provability and normal modal logics ⋮ Cut elimination in coalgebraic logics ⋮ Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions ⋮ The fixed point property in modal logic ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Continuum of normal extensions of the modal logic of provability with the interpolation property ⋮ Amalgamation and interpolation in normal modal logics ⋮ Modal companions of intermediate propositional logics ⋮ A loop-free decision procedure for modal propositional logics K4, S4 and S5 ⋮ A Tableau Calculus for Regular Grammar Logics with Converse ⋮ How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic ⋮ Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs ⋮ Interpolation in infinitely layered extensions of provability logic ⋮ A general tableau method for propositional interval temporal logics: theory and implementation ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ An empirical analysis of modal theorem provers ⋮ Provability logic without Craig's interpolation property ⋮ Interpolation in non-classical logics ⋮ ExpTime tableau decision procedures for regular grammar logics with converse ⋮ Cut-free tableau calculi for some propositional normal modal logics ⋮ Uniform Lyndon interpolation property in propositional modal logics ⋮ Admissibility of Cut in Coalgebraic Logics ⋮ Remarks on Gregory's ``actually operator

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The modal logic of provability: cut-elimination
• The modal logic of provability. The sequential approach
• A modal sequent calculus for a fragment of arithmetic
• Provability interpretations of modal logic
• On the proof theory of the modal logic for arithmetic provability
• On systems of modal logic with provability interpretations
• Model existence theorems for modal and intuitionistic logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

This page was built for publication: Modal tableau calculi and interpolation