Filtering unification and most general unifiers in modal logic
From MaRDI portal
Publication:5311759
DOI10.2178/jsl/1096901773zbMath1069.03011OpenAlexW2171818600MaRDI QIDQ5311759
Silvio Ghilardi, Lorenzo Sacchetti
Publication date: 29 August 2005
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/jsl/1096901773
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Other algebras related to logic (03G25)
Related Items
About the unification type of \(\mathbf{K}+\square \square \bot\), A Tableau Method for Checking Rule Admissibility in S4, Unnamed Item, Unification, finite duality and projectivity in varieties of Heyting algebras, Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition, Finitary unification in locally tabular modal logics characterized, Unification in epistemic logics, KD is nullary, Admissibility and unification in the modal logics related to S4.2, UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS, Contact Logic is Finitary for Unification with Constants, Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics, 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, Rules with parameters in modal logic. I.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unification in commutative theories
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Topology and duality in modal logic
- An algebraic approach to non-classical logics
- Solution of the Robbins problem
- Combination problems for commutative/monoidal theories or how algebra can help in equational unification
- Best solving modal equations
- Unification in intuitionistic logic
- Unification through projectivity
- Unification of concept terms in description logics
