Non-axiomatizability for the linear temporal logic of knowledge with concrete observability

DOI10.1093/logcom/exq031zbMath1285.03007OpenAlexW2132076827MaRDI QIDQ3103975

Catalin Dima

Publication date: 19 December 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6faefc06d8d8f250a5c4c3345fb898c6cea2accc

zbMATH Keywords

undecidabilitytemporal epistemic logics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Uses Software

• LDYIS

This page was built for publication: Non-axiomatizability for the linear temporal logic of knowledge with concrete observability