scientific article

From MaRDI portal
Revision as of 07:33, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3674621

zbMath0523.03017MaRDI QIDQ3674621

Dov M. Gabbay

Publication date: 1981


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



Related Items (24)

Expressive Completeness of Separation Logic with Two Variables and No Separating ConjunctionPreservation of expressive completeness in temporal modelsA new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete timeExpressive completeness failure in branching time structuresSeparation logics and modalities: a surveyOn the relative expressiveness of description logics and predicate logicsOn the expressive completeness of the propositional mu-calculus with respect to monadic second order logicTwo-Variable Separation Logic and Its Inner CircleAn algebraic semantics for possibilistic finite-valued Łukasiewicz logicUnnamed ItemCommunicating finite-state machines, first-order logic, and star-free propositional dynamic logicDefinability with bounded number of bound variablesOn the expressive power of first-order modal logic with two-dimensional operatorsThe \(k\)-variable property is stronger than H-dimension \(k\)Model checking memoryful linear-time logics over one-counter automataUnnamed ItemEfficient and Expressive Tree FiltersModal languages and bounded fragments of predicate logicCombining temporal logic systemsDeciding regular grammar logics with converse through first-order logicTableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and modelsUnnamed ItemExpressiveness of concept expressions in first-order description logicsDeciding the guarded fragments by resolution







This page was built for publication: