scientific article

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

modal logic concurrent programs temporal logic filtration method first-order dynamic logic propositional dynamic logic of regular programs

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modal logic (including the logic of norms) (03B45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Related Items (only showing first 100 items - show all)

TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS ⋮ Logics and decidability for labelled pre- and partially ordered Kripke structures ⋮ Normal monomodal logics can simulate all others ⋮ LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY ⋮ A model existence theorem in infinitary propositional modal logic ⋮ Towards resolution-based reasoning for connected logics ⋮ Quantified temporal alethic boulesic doxastic logic ⋮ The Range of Modal Logic ⋮ Some modal aspects of XPath ⋮ Back from the future ⋮ Updating knowledge using subsets ⋮ In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals ⋮ Some normal extensions of K4.3 ⋮ Adding proof calculi to epistemic logics with structured knowledge ⋮ A Note on Reliability-Based Preference Dynamics ⋮ Towards specifying norms ⋮ A History of Until ⋮ On the completeness of first degree weakly aggregative modal logics ⋮ Logic of simultaneity ⋮ A note on the interpolation property in tense logic ⋮ Unnamed Item ⋮ In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals ⋮ On the succinctness of some modal logics ⋮ Temporal theories of reasoning ⋮ Belief closure: A semantics of common knowledge for modal propositional logic ⋮ Topological reasoning and the logic of knowledge ⋮ Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition ⋮ The iterative conception of set. A (bi-)modal axiomatisation ⋮ Reasoning about time in the situation calculus ⋮ Does the deduction theorem fail for modal logic? ⋮ A class of decidable information logics ⋮ Temporal logic and its application to normative reasoning ⋮ Variants of multi-relational semantics for propositional non-normal modal logics ⋮ Multi-modal logic programming using equational and order-sorted logic ⋮ Sharing actions and attributes in modal action logic ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Monad as modality ⋮ Indexical knowledge and robot action -- a logical account ⋮ Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ Extended Gentzen-type formulations of two temporal logics based on incomplete knowledge systems ⋮ Coalgebraic semantics of modal logics: an overview ⋮ The finite model property for logics with the tangle modality ⋮ Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic ⋮ Temporal aspects of the modal logic of subset spaces ⋮ A propositional dynamic logic with qualitative probabilities ⋮ A logical approach to multilevel security of probabilistic systems ⋮ Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms ⋮ Eliminability of cut in hypersequent calculi for some modal logics of linear frames ⋮ Modal logic for modelling actions and agents ⋮ On the logic of cooperation and propositional control ⋮ On models for propositional dynamic logic ⋮ Temporal logics need their clocks ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ 1996–1997 Winter Meeting of the Association for Symbolic Logic ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Linear temporal logic with until and next, logical consecutions ⋮ Relating Truth, Knowledge and Belief in Epistemic States ⋮ Inference Rules in Multi-agents’ Temporal Logics ⋮ A guide to completeness and complexity for modal logics of knowledge and belief ⋮ Positive monotone modal logic ⋮ t-DeLP: an argumentation-based temporal defeasible logic programming framework ⋮ Multimodal logic programming using equational and order-sorted logic ⋮ Parallel action: Concurrent dynamic logic with independent modalities ⋮ Local properties in modal logic ⋮ A MODEL-THEORETIC CHARACTERIZATION OF MONADIC SECOND ORDER LOGIC ON INFINITE WORDS ⋮ A canonical topological model for extensions of K4 ⋮ Modal logics of succession for 2-dimensional integral spacetime ⋮ Topological modal logics satisfying finite chain conditions ⋮ A note on the modal and temporal logics for \(n\)-dimensional spacetime ⋮ Complete axiomatizations for XPath fragments ⋮ From modal logic to terminal coalgebras ⋮ Expressive logics for coalgebras via terminal sequence induction ⋮ Modal logics of reactive frames ⋮ From Philosophical to Industrial Logics ⋮ Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) ⋮ A nonstandard approach to the logical omniscience problem ⋮ From Monadic Logic to PSL ⋮ Abstract models for dialogue protocols ⋮ Event-based time-stamped claim logic ⋮ Erratum to: ``Strong completeness and limited canonicity for PDL ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ A ``geometric view of the dynamics of trajectories of computer programs ⋮ Minimal temporal epistemic logic ⋮ Reverse Hoare Logic ⋮ Quantificational modal logic with sequential Kripke semantics ⋮ Frame problem in dynamic logic ⋮ The mereotopology of time ⋮ A hidden agenda ⋮ Universal coalgebra: A theory of systems ⋮ Some Formal Semantics for Epistemic Modesty ⋮ Axiomatizing the monodic fragment of first-order temporal logic ⋮ Coalgebras and monads in the semantics of Java ⋮ Modal Logics that Bound the Circumference of Transitive Frames ⋮ Complete Axiomatization of a Relative Modal Logic with Composition and Intersection ⋮ Lambek calculus and its relational semantics: Completeness and incompleteness ⋮ On the strength of temporal proofs ⋮ An essay in combinatory dynamic logic ⋮ \({\mathcal E}\)-connections of abstract description systems ⋮ All finitely axiomatizable tense logics of linear time flows are coNP-complete ⋮ Exploring the Jungle of Intuitionistic Temporal Logics

This page was built for publication: