scientific article; zbMATH DE number 1032009
From MaRDI portal
Publication:4343990
zbMath0875.03076MaRDI QIDQ4343990
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (98)
Stratified least fixpoint logic ⋮ Peirce algebras ⋮ A hierarchy of modal logics with relative accessibility relations ⋮ Evaluation Trees for Proposition Algebra ⋮ Ultraproducts and possible worlds semantics in institutions ⋮ An exercise on the generation of many-valued dynamic logics ⋮ The mu-calculus and Model Checking ⋮ Communication in concurrent dynamic logic ⋮ Logic of transition systems ⋮ Algebraic Semantics for Dynamic Dynamic Logic ⋮ Merging without mystery or: Variables in dynamics semantics ⋮ Recursive programs and denotational semantics in absolute logics of programs ⋮ Means-end relations and a measure of efficacy ⋮ Dynamic squares ⋮ Propositional dynamic logic with recursive programs ⋮ Logics of communication and change ⋮ Directions in generalized quantifier theory ⋮ Connectionist modal logic: representing modalities in neural networks ⋮ Model-theoretical foundation of action and progression ⋮ The power of temporal proofs ⋮ An arithmetical hierarchy in propositional dynamic logic ⋮ Abduction to plausible causes: an event-based model of belief update ⋮ Belief closure: A semantics of common knowledge for modal propositional logic ⋮ A first order logic of effects ⋮ ALX, an action logic for agents with bounded rationality ⋮ The situation calculus: a case for modal logic ⋮ Possibilistic reasoning -- a mini-survey and uniform semantics ⋮ A product version of dynamic linear time temporal logic ⋮ Updating action domain descriptions ⋮ Squares in fork arrow logic ⋮ A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3 ⋮ Program semantics and verification technique for AI-centred programs ⋮ Introducing Grades in Deontic Logics ⋮ An independent axiomatisation for free short-circuit logic ⋮ Reasoning about games ⋮ Mathematical modal logic: A view of its evolution ⋮ Populational announcement logic (PPAL) ⋮ Program equivalence checking by two-tape automata ⋮ Decidability of a partial order based temporal logic ⋮ Determinism and non-determinism in PDL ⋮ Language in action ⋮ Modal logics with relative accessibility relations ⋮ Practical reasoning with procedural knowledge ⋮ Don't ever do that! Long-term duties in \(PD_{e}L\) ⋮ TABLEAUX: A general theorem prover for modal logics ⋮ A semantics for means-end relations ⋮ On models for propositional dynamic logic ⋮ Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change ⋮ Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics ⋮ Blame it on me ⋮ A generic framework for symbolic execution: a coinductive approach ⋮ Semantics and reasoning with free procedures ⋮ Processes and formalisms for unbounded choice ⋮ A natural deduction approach to dynamic logic ⋮ Gentzen-type axiomatization for PAL ⋮ Process and action: Relevant theory and logics ⋮ Local properties in modal logic ⋮ Proving linearizability with temporal logic ⋮ An approach to infinitary temporal proof theory ⋮ Proof-theoretic notions for software maintenance ⋮ What will they say? -- Public announcement games ⋮ \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem ⋮ A semantic characterization of a useful fragment of the situation calculus with knowledge ⋮ On the dynamics of institutional agreements ⋮ A type reduction from proof-conditional to dynamic semantics ⋮ More on looping vs. repeating in dynamic logic ⋮ Model checking propositional dynamic logic with all extras ⋮ Action and knowledge in alternating-time temporal logic ⋮ Models and logics for true concurrency. ⋮ Dynamic predicate logic ⋮ Incremental reasoning on monadic second-order logics with logic programming ⋮ Strong completeness and limited canonicity for PDL ⋮ Power structures ⋮ Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection ⋮ The power of a propositional constant ⋮ A system of dynamic modal logic ⋮ Could We Have Chosen a Better Loop Invariant or Method Contract? ⋮ A Semantical Account of Progression in the Presence of Defaults ⋮ Reasoning about Joint Action and Coalitional Ability in K n with Intersection ⋮ On the possibility theory-based semantics for logics of preference ⋮ Negotiating using rewards ⋮ Metatheory of actions: beyond consistency ⋮ A modal action logic based framework for organization specification and analysis ⋮ Determining the environment: a modal logic for closed interaction ⋮ Dynamic linear time temporal logic ⋮ Reasoning about emotional agents ⋮ Dynamic epistemic logic with communication actions ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ Copy and remove as dynamic operators ⋮ Process logic with regular formulas ⋮ A modal perspective on the computational complexity of attribute value grammar ⋮ Complete Axiomatization of a Relative Modal Logic with Composition and Intersection ⋮ Complexity analysis of propositional concurrent programs using domino tiling ⋮ Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic ⋮ Nondeterminacy and recursion via stacks and games ⋮ Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation ⋮ A unifying semantics for time and events ⋮ Logical and schematic characterization of complexity classes
This page was built for publication:
