scientific article; zbMATH DE number 1142324

Cited in

(39)

Model checking for hybrid logic
On models for propositional dynamic logic
On the expressive power of finitely typed and universally polymorphic recursive procedures
On the power of built-in relations in certain classes of program schemes
Reasoning about nondeterministic and concurrent actions: A process algebra approach
Stratified least fixpoint logic
Rabin tree automata and finite monoids
On dynamic algebras
The complexity of PDL with interleaving
Actors, actions, and initiative in normative system specification
An infinite pebble game and applications
Fixed point characterization of infinite behavior of finite-state systems
Mathematical modal logic: A view of its evolution
EXPtime tableaux for ALC
On the completeness of propositional Hoare logic
Program schemes, arrays, Lindström quantifiers and zero-one laws
Combining deduction and model checking into tableaux and algorithms for converse-PDL.
Free choice and contextually permitted actions
Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
A specification structure for deadlock-freedom of synchronous processes
Non-terminating processes in the situation calculus
Ultraproducts and possible worlds semantics in institutions
Path constraints in semistructured data
Tableaux for constructive concurrent dynamic logic
Model checking propositional dynamic logic with all extras
Propositional dynamic logic with recursive programs
A formalization of programs in first-order logic with a discrete linear order
Clausal tableaux for hybrid PDL
Canonical finite models of Kleene algebra with tests
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
Complexity analysis of propositional concurrent programs using domino tiling
Tableaux and algorithms for Propositional Dynamic Logic with Converse
A natural deduction approach to dynamic logic
Proof-theoretic notions for software maintenance
First order data types and first order logic
Regular database update logics
Specification structures and propositions-as-types for concurrency
On the logic of UNITY
Constructive modal logics. I

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4385540)