Efficient loop-check for KD45 logic

DOI10.1007/S10986-006-0012-4zbMath1169.68611OpenAlexW1976652205MaRDI QIDQ926638

A. Birštunas

Publication date: 20 May 2008

Published in: Lithuanian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10986-006-0012-4

zbMATH Keywords

sequent calculusloop-checkBDI logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (2)

Finite sequent calculi for PLTL ⋮ PSPACE complexity of modal logic KD45\(_{n}\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Efficient loop-check for KD45 logic