scientific article; zbMATH DE number 1471983

MaRDI QIDQ4489067zbMATH OpenFDO

Authors M. Terziler, Çiğdem Gencer, Vladimir Rybakov

Publication date 9 July 2000

zbMATH Keywords

inference rulesmodal logicpassive rulespersistent formulasunification of formulas

Mathematics Subject Classification ID

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

Recommendations

• Unification and Passive Inference Rules for Modal Logics
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Unification in modal and description logics
• Unification in first-order transitive modal logic
• Remarks about the unification types of some locally tabular normal modal logics

Cited in

(28)

• Axiomatizations with context rules of inference in modal logic
• Hereditarily structurally complete superintuitionistic deductive systems
• Finitary unification in locally tabular modal logics characterized
• Almost structural completeness; an algebraic approach
• A syntactic approach to unification in transitive reflexive modal logics
• Unification in modal and description logics
• Unification and Passive Inference Rules for Modal Logics
• Unification in epistemic logics
• KD is nullary
• Unification in modal logic \(\mathrm{Alt}_1\)
• Admissibility and refutation: some characterisations of intermediate logics
• scientific article; zbMATH DE number 7599937 (Why is no real title available?)
• Projective unification in transitive modal logics
• Remarks about the unification type of several non-symmetric non-transitive modal logics
• Undecidability of the unification and admissibility problems for modal and description logics
• Filtering unification and most general unifiers in modal logic
• UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
• Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
• Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
• Remarks about the unification types of some locally tabular normal modal logics
• Explicit basis for admissible rules in K-saturated tabular logics
• Unification types in Euclidean modal logics
• Admissible inference rules of modal WCP-logics
• An explicit basis for \textit{WCP}-globally admissible inference rules
• Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality
• Notes on my scientific life
• About the unification types of modal logics
• Undecidability of admissibility in the product of two \textbf{Alt} logics

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4489067)