Kripke's worlds. An introduction to modal logics via tableaux

DOI10.1007/978-3-7643-8504-0zbMath1280.03001OpenAlexW2483102027MaRDI QIDQ371440

Olivier Gasquet, Andreas Herzig, François Schwarzentruber, Bilal Said

Publication date: 9 October 2013

Published in: Studies in Universal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-7643-8504-0

zbMATH Keywords

modal logicautomated reasoningKripke modelstableau methods

Mathematics Subject Classification ID

Applications of graph theory (05C90) Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35)

Related Items (2)

A short biography of Luis Fariñas del Cerro ⋮ A note on the complexity of S4.2

Uses Software

• LoTREC

This page was built for publication: Kripke's worlds. An introduction to modal logics via tableaux