Analytic Tableau Calculi for KLM Rational Logic R

DOI10.1007/11853886_17zbMath1152.03313OpenAlexW1562562343MaRDI QIDQ3533131

Nicola Olivetti, Gian Luca Pozzato, Valentina Gliozzi, Laura Giordano

Publication date: 30 October 2008

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Adaptively applying modus ponens in conditional logics of normality ⋮ Preserving confidentiality while reacting on iterated queries and belief revisions

This page was built for publication: Analytic Tableau Calculi for KLM Rational Logic R