Publication:4525781

zbMATH Open0976.68108MaRDI QIDQ4525781FDOQ4525781

Jerzy Tiuryn, David Harel, Dexter Kozen

Publication date: 24 January 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

first-order dynamic logic

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) General logic (03Bxx)

Cited In (only showing first 100 items - show all)

• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• Foundations of RDF Databases
• A propositional dynamic logic for instantial neighborhood semantics
• Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
• The refinement calculus of reactive systems
• An exercise on the generation of many-valued dynamic logics
• Contribution of Warsaw logicians to computational logic
• A survey on temporal logics for specifying and verifying real-time systems
• Propositional quantification in logics of contingency
• Satisfiability Solving and Model Generation for Quantified First-Order Logic Formulas
• Model Checking Strategic Equilibria
• t-DeLP: an argumentation-based temporal defeasible logic programming framework
• An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution
• Towards Metric Temporal Answer Set Programming
• Dynamic logic: a personal perspective
• Introspection as an action in relational models
• Manipulating games by sharing information
• Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic
• Can we communicate? Using dynamic logic to verify team automata
• A Dynamic Logic with Traces and Coinduction
• Fifty years of Hoare's logic
• Reasoning in Dynamic Logic about Program Termination
• A closeness- and priority-based logical study of social network creation
• Smooth coalgebra: testing vector analysis
• Recapturing dynamic logic of relation changers via bounded morphisms
• Ten Problems of Deontic Logic and Normative Reasoning in Computer Science
• Reasoning as Speech Acts
• Computation as social agency: what, how and who
• Strong completeness and limited canonicity for PDL
• Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics
• A logical study of group-size based social network creation
• Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance
• Many-sorted hybrid modal languages
• Inquisitive propositional dynamic logic
• Algorithmically broad languages for polynomial time and space
• A unifying logic for non-deterministic, parallel and concurrent abstract state machines
• Announcement as effort on topological spaces
• Algebraic Semantics for Dynamic Dynamic Logic
• Multi-modal CTL: completeness, complexity, and an application
• Differential Game Logic
• Segerberg on the Paradoxes of Introspective Belief Change
• Honest Computability and Complexity
• On base radical and semisimple classes defined by class operators
• From Philosophical to Industrial Logics
• Sequential dynamic logic
• Hybrid dynamic logic institutions for event/data-based systems
• Halting and Equivalence of Program Schemes in Models of Arbitrary Theories
• Practical coinduction
• Dynamic logic of legal competences
• Equational theories for automata
• Compositional verification of concurrent systems by combining bisimulations
• THE LOGIC OF RESOURCES AND CAPABILITIES
• Decidable Extensions of Hennessy-Milner Logic
• Deontology of compound actions
• Dynamic Łukasiewicz logic and dynamic MV-algebras
• Propositional Dynamic Logic for Petri Nets with Iteration
• Title not available (Why is that?)
• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• Constructive hybrid games
• Title not available (Why is that?)
• Preferential reasoning for modal logics
• A contraction-free and cut-free sequent calculus for propositional dynamic logic
• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
• Run-Time Monitoring of Electronic Contracts
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• Existential second-order logic and modal logic with quantified accessibility relations
• Approximating bisimilarity for Markov processes
• Logics of informational interactions
• Propositional Dynamic Logic with Program Quantifiers
• PLQP \& Company: decidable logics for quantum algorithms
• A logic for diffusion in social networks
• Static analysis of navigational XPath over graph databases
• Quantum logic as a dynamic logic
• Making a start with the stit logic analysis of intentional action
• The Complexity of One-Agent Refinement Modal Logic
• Separation logics and modalities: a survey
• Kleene under a modal demonic star
• Differential dynamic logic for hybrid systems
• Bisimilar and logically equivalent programs in PDL
• Extending propositional dynamic logic for Petri nets
• Complete axiomatizations for quantum actions
• Algebras of modal operators and partial correctness
• Structural properties of XPath fragments
• Monadic <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mi mathvariant="normal">Σ</mml:mi><mml:mn>1</mml:mn><mml:mn>1</mml:mn></mml:msubsup></mml:math> and Modal Logic with Quantified Binary Relations
• Exploring the Power of Converse Events
• Dynamic Logic with Non-rigid Functions
• PDL with intersection and converse: satisfiability and infinite-state model checking
• Completeness for flat modal fixpoint logics
• Abstract Interpretation of Symbolic Execution with Explicit State Updates
• On the dynamics of institutional agreements
• Propositional dynamic logic for searching games with errors
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• Controller/Orchestrator Synthesis via Filtration
• An observationally complete program logic for imperative higher-order functions
• Dynamic epistemic logic for implicit and explicit beliefs
• Canonical finite models of Kleene algebra with tests
• Terminating Tableaux for Hybrid Logic with Eventualities
• On the epistemic foundation for iterated weak dominance: an analysis in a logic of individual and collective attitudes
• A dynamic deontic logic for complex contracts
• Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs

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 Q4525781)