scientific article
From MaRDI portal
Publication:3126000
zbMath0859.00018MaRDI QIDQ3126000
No author found.
Publication date: 23 March 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (13)
Simulating polyadic modal logics by monadic ones ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Complexity of equations valid in algebras of relations. II: Finite axiomatizations ⋮ Exponential-Size Model Property for PDL with Separating Parallel Composition ⋮ Squares in fork arrow logic ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ On fork arrow logic and its expressive power ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ A Completeness Result for Relation Algebra with Binders ⋮ Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition ⋮ Algebraic Logic, Where Does it Stand Today? ⋮ Notions of density that imply representability in algebraic logic ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras
This page was built for publication:
