Minimal structures for modal tableaux: Some examples

DOI10.12775/LLP.2000.007zbMath1005.03025OpenAlexW2060260820MaRDI QIDQ3149219

Luis Fariñas del Cerro, Olivier Gasquet

Publication date: 12 November 2002

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2000.007

zbMATH Keywords

modal logictableau calculusdecision proceduresmultimodal logicsrooted directed acyclic graphs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (1)

Deciding regular grammar logics with converse through first-order logic

This page was built for publication: Minimal structures for modal tableaux: Some examples