Modal Logic, Transition Systems and Processes

DOI10.1093/logcom/4.5.811zbMath0817.03014OpenAlexW2166216406MaRDI QIDQ4316304

Vera Stebletsova, Jan van Eijck, J. F. A. K. van Benthem

Publication date: 7 December 1994

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

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

zbMATH Keywords

modal logicprocess algebrabisimulationtemporal logictransition systempropositional dynamic logicKripke structureconcurrent PDL

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Theory of computing (68Q99) Other applications of logic (03B80)

Related Items

Bisimilar and logically equivalent programs in PDL with parallel operator ⋮ THE ∀∃ THEORY OF PEANO Σ₁ SENTENCES ⋮ Algebra of timed frames ⋮ Tableaux and algorithms for Propositional Dynamic Logic with Converse ⋮ Reasoning about nondeterministic and concurrent actions: A process algebra approach