Taming Displayed Tense Logics Using Nested Sequents with Deep Inference

DOI10.1007/978-3-642-02716-1_15zbMath1260.03043OpenAlexW1525047654MaRDI QIDQ3648731

Linda Postniece, Rajeev Goré, Alwen Tiu

Publication date: 1 December 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02716-1_15

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items (1)

Deep Inference in Bi-intuitionistic Logic

This page was built for publication: Taming Displayed Tense Logics Using Nested Sequents with Deep Inference