A general filtration method for modal logics

DOI10.1007/BF00649988zbMath0248.02025OpenAlexW2089991946MaRDI QIDQ2556392

Dov M. Gabbay

Publication date: 1972

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

Full work available at URL: https://doi.org/10.1007/bf00649988

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (11)

A class of decidable information logics ⋮ Partitioning Kripke frames of finite height ⋮ Nonmonotonic consequence based on intuitionistic logic ⋮ Interpolation theorems in modal logics. Sufficient conditions ⋮ Products of modal logics and tensor products of modal algebras ⋮ Logical analysis of demonic nondeterministic programs ⋮ Intelligence in Strategic Games ⋮ Proofs and countermodels in non-classical logics ⋮ On Finite Model Property for Admissible Rules ⋮ Modal logics of domains on the real plane ⋮ The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC

Cites Work

• Selective filtration in modal logic Part A. Semantic tableaux method

This page was built for publication: A general filtration method for modal logics