Encoding hybridized institutions into first-order logic (Q5741578): Difference between revisions

@@ Property / cites work @@
+Combinations and completeness transfer for quantified modal logics
+Normal rank
@@ Property / cites work @@
+Natural deduction for first-order hybrid logic
@@ Property / cites work: Natural deduction for first-order hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5556395
@@ Property / cites work: Q5556395 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages and temporal logic
@@ Property / cites work: Hybrid languages and temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Beth definability in institutions
@@ Property / cites work: Abstract Beth definability in institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid languages
@@ Property / cites work: Hybrid languages / 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 @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Hybridisation at Work
@@ Property / cites work: Hybridisation at Work / rank @@
+Normal rank
@@ Property / cites work @@
+Distributive-lattice semantics of sequent calculi with structural rules
+Normal rank
@@ Property / cites work @@
+CASL: the Common Algebraic Specification Language.
+Normal rank
@@ Property / cites work @@
+Bringing them all Together
@@ Property / cites work: Bringing them all Together / rank @@
+Normal rank
@@ Property / cites work @@
+Stratified institutions and elementary homomorphisms
+Normal rank
@@ Property / cites work @@
+Hybridization of Institutions
@@ Property / cites work: Hybridization of Institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Institution morphisms
@@ Property / cites work: Institution morphisms / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+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 @@
+Ultraproducts and possible worlds semantics in institutions
+Normal rank
@@ Property / cites work @@
+Interpolation for predefined types
@@ Property / cites work: Interpolation for predefined types / rank @@
+Normal rank
@@ Property / cites work @@
+Borrowing interpolation
@@ Property / cites work: Borrowing interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Coinduction for preordered algebra
@@ Property / cites work: Coinduction for preordered algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-Boolean encodings and conditionals in algebraic specification
+Normal rank
@@ Property / cites work @@
+An encoding of partial algebras as total algebras
@@ Property / cites work: An encoding of partial algebras as total algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+May I borrow your logic? (Transporting logical structures along maps)
+Normal rank
@@ Property / cites work @@
+Analysis and synthesis of logics. How to cut and paste reasoning systems
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129514000383
+Normal rank
@@ Property / OpenAlex ID @@
+W2117159510
@@ Property / OpenAlex ID: W2117159510 / rank @@
+Normal rank