Extending Temporal Logic Programming with Choice Predicates Non-determinism

DOI10.1093/logcom/4.6.877zbMath0824.68022OpenAlexW2044395449WikidataQ58185360 ScholiaQ58185360MaRDI QIDQ4323007

William W. Wadge, Mehmet A. Orgun

Publication date: 6 November 1995

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

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

zbMATH Keywords

minimal modelstemporal logic programmingchronologalternating chainsChronolog

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Related Items

Foundations of linear-time logic programming ⋮ A Connectionist Computational Model for Epistemic and Temporal Reasoning