A Proof of Kamp's theorem

From MaRDI portal

Publication:4649569

Jump to:navigation, search

DOI10.4230/LIPICS.CSL.2012.516zbMath1252.03039OpenAlexW2963358687MaRDI QIDQ4649569

Alexander Rabinovich

Publication date: 22 November 2012

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2012/3694/

zbMATH Keywords

expressive completeness temporal logic monadic logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Temporal logic (03B44)

This page was built for publication: A Proof of Kamp's theorem

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4649569&oldid=18848505"