scientific article

zbMath0523.03017MaRDI QIDQ3674621

Dov M. Gabbay

Publication date: 1981

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

zbMATH Keywords

tense logicfunctional completenessone-dimensional caseflow of timek-dimensional connectivesm-dimensional case

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items

Expressive Completeness of Separation Logic with Two Variables and No Separating Conjunction ⋮ Preservation of expressive completeness in temporal models ⋮ A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time ⋮ Expressive completeness failure in branching time structures ⋮ Separation logics and modalities: a survey ⋮ On the relative expressiveness of description logics and predicate logics ⋮ On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic ⋮ Two-Variable Separation Logic and Its Inner Circle ⋮ An algebraic semantics for possibilistic finite-valued Łukasiewicz logic ⋮ Unnamed Item ⋮ Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic ⋮ Definability with bounded number of bound variables ⋮ On the expressive power of first-order modal logic with two-dimensional operators ⋮ The \(k\)-variable property is stronger than H-dimension \(k\) ⋮ Model checking memoryful linear-time logics over one-counter automata ⋮ Unnamed Item ⋮ Efficient and Expressive Tree Filters ⋮ Modal languages and bounded fragments of predicate logic ⋮ Combining temporal logic systems ⋮ Deciding regular grammar logics with converse through first-order logic ⋮ Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models ⋮ Unnamed Item ⋮ Expressiveness of concept expressions in first-order description logics ⋮ Deciding the guarded fragments by resolution