Decidability for Justification Logics Revisited

DOI10.1007/978-3-642-36976-6_12zbMath1383.03025OpenAlexW1931640534MaRDI QIDQ4914518

Thomas Studer, Samuel Bucheli, Roman Kuznets

Publication date: 12 April 2013

Published in: Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-36976-6_12

zbMATH Keywords

filtrationdecidabilityjustification logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Decidability for Justification Logics Revisited