Birkhoff style calculi for hybrid logics (Q1682285): Difference between revisions

@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-016-0414-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2585755888
@@ Property / OpenAlex ID: W2585755888 / rank @@
+Normal rank
@@ Property / cites work @@
+Bringing them all Together
@@ Property / cites work: Bringing them all Together / rank @@
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Stratified institutions and elementary homomorphisms
+Normal rank
@@ Property / cites work @@
+Q5460172
@@ Property / cites work: Q5460172 / rank @@
+Normal rank
@@ Property / cites work @@
+Universal logic: An anthology. From Paul Hertz to Dov Gabbay
+Normal rank
@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Q4412850
@@ Property / cites work: Q4412850 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logic and its proof-theory
@@ Property / cites work: Hybrid logic and its proof-theory / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of logics. How to cut and paste reasoning systems
+Normal rank
@@ Property / cites work @@
+Birkhoff completeness in institutions
@@ Property / cites work: Birkhoff completeness in institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of CafeOBJ
@@ Property / cites work: Logical foundations of CafeOBJ / rank @@
+Normal rank
@@ Property / cites work @@
+Q4432964
@@ Property / cites work: Q4432964 / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand theorems in arbitrary institutions
@@ Property / cites work: Herbrand theorems in arbitrary institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Systems for Institutional Logic
@@ Property / cites work: Proof Systems for Institutional Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Borrowing interpolation
@@ Property / cites work: Borrowing interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Implicit Kripke semantics and ultraproducts in stratified institutions
+Normal rank
@@ Property / cites work @@
+Quasi-varieties and initial semantics for hybridized institutions
+Normal rank
@@ Property / cites work @@
+Encoding hybridized institutions into first-order logic
+Normal rank
@@ Property / cites work @@
+Adding a temporal dimension to a logic system
@@ Property / cites work: Adding a temporal dimension to a logic system / rank @@
+Normal rank
@@ Property / cites work @@
+Q2816365
@@ Property / cites work: Q2816365 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness by Forcing
@@ Property / cites work: Completeness by Forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in logics with constructors
@@ Property / cites work: Interpolation in logics with constructors / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorics of $\lambda$-terms: a natural approach
+Normal rank
@@ Property / cites work @@
+Foundations of logic programming in hybrid logics with user-defined sharing
+Normal rank
@@ Property / cites work @@
+Foundations of Logic Programming in Hybridised Logics
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3737481
@@ Property / cites work: Q3737481 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Combinations and completeness transfer for quantified modal logics
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-varieties in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Refinement in hybridised institutions
@@ Property / cites work: Refinement in hybridised institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Hybridization of Institutions
@@ Property / cites work: Hybridization of Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+An essay in combinatory dynamic logic
@@ Property / cites work: An essay in combinatory dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Institutional Version of Gödel’s Completeness Theorem
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776610
@@ Property / cites work: Q3776610 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting the Institutional Approach to Herbrand’s Theorem
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1682285