Tableau calculus for local cubic modal logic and its implementation

DOI10.1093/jigpal/7.6.755zbMath0939.03025OpenAlexW2089921049MaRDI QIDQ4934884

Stefan Schlobach, Szabolcs Mikulás, Maarten Marx

Publication date: 5 July 2000

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

Full work available at URL: https://semanticscholar.org/paper/8b43dff5cbc2842bf782467dca38410b9ca30c94

zbMATH Keywords

modal logicguarded fragmentterminationautomatic theorem provinglabelled tableau calculustwo-variable fragment

Mathematics Subject Classification ID

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

Related Items

Deciding regular grammar logics with converse through first-order logic