Sequent calculi with analytic cut for logics of time and knowledge with perfect recall

DOI10.1023/B:LIMA.0000033782.97134.A5zbMath1048.03043MaRDI QIDQ1881777

Jurate Saskalauskaite

Publication date: 15 October 2004

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

zbMATH Keywords

sequent calculustemporal logicproof systemsepistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cut-elimination and normal-form theorems (03F05) Temporal logic (03B44)

This page was built for publication: Sequent calculi with analytic cut for logics of time and knowledge with perfect recall