An essay in combinatory dynamic logic

DOI10.1016/0890-5401(91)90026-XMaRDI QIDQ809068zbMATH OpenOpenAlexFDO

Authors Solomon Passy, Tinko Tinchev

Publication date 1991

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0890-5401(91)90026-x

zbMATH Keywords

quantificationcompletenessdecidabilitysoundnesschoice functionfinite model propertyCombinatory Propositional Dynamic Logicextensions of CPDLfinitary axiomatizationStone representation theorem for combinatory dynamic algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 3924749
• Concurrent dynamic logic
• PDL with data constants
• scientific article; zbMATH DE number 139632
• scientific article; zbMATH DE number 4010497

Cites work

• scientific article; zbMATH DE number 3848599 (Why is no real title available?)
• scientific article; zbMATH DE number 3853056 (Why is no real title available?)
• scientific article; zbMATH DE number 3858391 (Why is no real title available?)
• scientific article; zbMATH DE number 4143953 (Why is no real title available?)
• scientific article; zbMATH DE number 4148058 (Why is no real title available?)
• scientific article; zbMATH DE number 3821688 (Why is no real title available?)
• scientific article; zbMATH DE number 3924749 (Why is no real title available?)
• scientific article; zbMATH DE number 3968565 (Why is no real title available?)
• scientific article; zbMATH DE number 3979045 (Why is no real title available?)
• scientific article; zbMATH DE number 3983144 (Why is no real title available?)
• scientific article; zbMATH DE number 3985194 (Why is no real title available?)
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 4043818 (Why is no real title available?)
• scientific article; zbMATH DE number 4057487 (Why is no real title available?)
• scientific article; zbMATH DE number 3731325 (Why is no real title available?)
• scientific article; zbMATH DE number 3735127 (Why is no real title available?)
• scientific article; zbMATH DE number 3778721 (Why is no real title available?)
• scientific article; zbMATH DE number 192764 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3508462 (Why is no real title available?)
• scientific article; zbMATH DE number 3634224 (Why is no real title available?)
• scientific article; zbMATH DE number 1028830 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 1028834 (Why is no real title available?)
• scientific article; zbMATH DE number 218546 (Why is no real title available?)
• scientific article; zbMATH DE number 218549 (Why is no real title available?)
• scientific article; zbMATH DE number 3892565 (Why is no real title available?)
• scientific article; zbMATH DE number 3248792 (Why is no real title available?)
• scientific article; zbMATH DE number 3266609 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3290264 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3305014 (Why is no real title available?)
• scientific article; zbMATH DE number 3315171 (Why is no real title available?)
• scientific article; zbMATH DE number 3315203 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A complete logic for reasoning about programs via nonstandard model theory. II
• A completeness theorem in modal logic
• An approach to tense logic¹
• An elementary proof of the completeness of PDL
• An essay in combinatory dynamic logic
• Axiomatising the logic of computer programming
• Boolean Algebras with Operators. Part I
• Concurrent dynamic logic
• DAL -- a logic for data analysis
• Descriptively complete process logic
• Determinism and looping in combinatory PDL
• Deterministic propositional dynamic logic: finite models, complexity, and completeness
• First-order dynamic logic
• Graded modalities. I
• Handbook of philosophical logic. Volume II: Extensions of classical logic
• Inaccessible worlds
• Infinitary propositional normal modal logic
• Investigations in modal and tense logics with applications to problems in philosophy and linguistics
• Modal definability in enriched languages
• Modality and quantification in S5
• Nominal tense logic
• Normal forms in modal logic
• PDL with data constants
• Propositional dynamic logic of looping and converse is elementarily decidable
• Propositional dynamic logic with local assignments
• Propositional quantifiers in modal logic1
• Recurring Dominoes: Making the Highly Undecidable Highly Understandable
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• The modal logic of `all and only'
• The propositional dynamic logic of deterministic, well-structured programs
• The unaxiomatizability of a quantified intensional logic
• Two-dimensional modal logic
• Using the Universal Modality: Gains and Questions

Cited in

(48)

• Logical Interpolation and Projection onto State in the Duration Calculus
• Model checking hybrid logics (with an application to semistructured data)
• A foray into combinatory logic
• Arthur Prior and hybrid logic
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• A fragment of intuitionistic dynamic logic
• Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
• Remarks on Gregory's ``actually operator
• A PDL approach for qualitative velocity
• Notes on logics of metric spaces
• A Hybrid Public Announcement Logic with Distributed Knowledge
• PDL with negation of atomic programs
• Model Checking Strategic Equilibria
• A system of dynamic modal logic
• Infinitary propositional normal modal logic
• The many faces of counts-as: A formal analysis of constitutive rules
• Hyperboolean Algebras and Hyperboolean Modal Logic
• Converse-PDL with regular inclusion axioms: a framework for MAS logics
• A simple tableau system for the logic of elsewhere
• Repairing the interpolation theorem in quantified modal logic
• A Qualitative Theory of Cognitive Attitudes and their Change
• scientific article; zbMATH DE number 3924749 (Why is no real title available?)
• The Fitch-Church paradox and first order modal logic
• Encoding hybridized institutions into first-order logic
• Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
• An essay in combinatory dynamic logic
• A study on multi-dimensional products of graphs and hybrid logics
• A modal perspective on the computational complexity of attribute value grammar
• Clausal tableaux for hybrid PDL
• Hybrid languages
• Understanding the Brandenburger-Keisler paradox
• Birkhoff style calculi for hybrid logics
• Model checking for hybrid logic
• Deterministic SQEMA and application for pre-contact logic
• Pure extensions, proof rules, and hybrid axiomatics
• Introducing \(H\), an institution-based formal specification and verification language
• Obligation as weakest permission: a strongly complete axiomatization
• Modal logic with names
• Towards a hybrid dynamic logic for hybrid dynamic systems
• Foundations of logic programming in hybrid logics with user-defined sharing
• Determinism and looping in combinatory PDL
• A canonical model construction for iteration-free PDL with intersection
• Temporal Logics with Reference Pointers and Computation Tree Logics
• ``That will do: logics of deontic necessity and sufficiency
• PDL with intersection of programs: a complete axiomatization
• Hybrid logics: Characterization, interpolation and complexity
• On the undecidability of logics with converse, nominals, recursion and counting
• Parametrized modal logic. II: The unidimensional case

This page was built for publication: An essay in combinatory dynamic logic

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