„propositional dynamic logic“
Suchergebnisse
20 Treffer
-
Some Unusual Models of Test-Free Propositional Dynamic Logic
-
Partially Observable Markov Decision Processes with Behavioral Norms
-
Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages
-
Propositional Dynamic Logic for Hyperproperties
-
FO = FO^3 for Linear Orders with Monotone Binary Relations (Track B: Automata, Logic, Semantics, and Theory of Programming)
-
Dynamic blocked clause elimination for projected model counting
-
Some unusual models of test free propositional dynamic logic
-
A Sequent Calculus for Propositional Dynamic Logic for Agents with Interactions
-
Relevant propositional dynamic logic
-
Kleene Modules
-
CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
-
A Sequent Calculus for Propositional Dynamic Logic for Agents
-
A Propositional Dynamic Logic with Qualitative Probabilities
-
Sequential method in propositional dynamic logic
-
PDL with Intersection and Converse is Decidable
-
PDL with Negation of Atomic Programs
-
Infinite state model checking of propositional dynamic logics
-
Inquisitive Propositional Dynamic Logic
-
A Propositional Dynamic Logic for Instantial Neighborhood Semantics
-
Computational complexity of propositional dynamic logics