Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting
Work
Year: 2015
Type: article
Abstract: First-order temporal logics are notorious for their bad computational behaviour. It is known that even the two-variable monadic fragment is highly undecidable over various linear timelines, and over b... more
Authors Christopher Hampson, Agi Kurucz
Institution King's College London
Cites: 54
Cited by: 8
Related to: 10
FWCI: 1.178
Citation percentile (by year/subfield): 86.8
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green