Complexity of hybrid logics over transitive frames

From MaRDI portal
Revision as of 08:18, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:631089

DOI10.1016/J.JAL.2010.08.004zbMath1215.03035OpenAlexW2811227589MaRDI QIDQ631089

Thomas Schwentick, Volker Weber, Thomas Schneider, Martin Mundhenk

Publication date: 22 March 2011

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2010.08.004




Related Items (6)




Cites Work




This page was built for publication: Complexity of hybrid logics over transitive frames