scientific article
From MaRDI portal
Publication:4016548
zbMath0755.68121MaRDI QIDQ4016548
Joseph Y. Halpern, Moshe Y. Vardi
Publication date: 16 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Abstraction for model checking multi-agent systems ⋮ Obligation as optimal goal satisfaction ⋮ Common knowledge and update in finite environments ⋮ Defaults in domain theory ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ On the logic of cooperation and propositional control ⋮ Unnamed Item ⋮ Symbolic Model Checking the Knowledge in Herbivore Protocol ⋮ Belief revision and update: Complexity of model checking ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach ⋮ Alternating automata: Unifying truth and validity checking for temporal logics ⋮ View-based explicit knowledge ⋮ Verification from Declarative Specifications Using Logic Programming ⋮ Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas
This page was built for publication:
