Works matching DE "INFINITARY languages"
Results: 42
Supermachines and Superminds.
- Published in:
- Minds & Machines, 2003, v. 13, n. 1, p. 155, doi. 10.1023/A:1021307923600
- By:
- Publication type:
- Article
Condorcet and communitarianism: Boghossian’s fallacious inference.
- Published in:
- Synthese, 2009, v. 166, n. 1, p. 55, doi. 10.1007/s11229-007-9257-7
- By:
- Publication type:
- Article
Infinitary Action Logic: Complexity, Models and Grammars.
- Published in:
- Studia Logica, 2008, v. 89, n. 1, p. 1, doi. 10.1007/s11225-008-9116-7
- By:
- Publication type:
- Article
TEMPORAL NON-COMMUTATIVE LOGIC: Expressing time, resource, order and hierarchy.
- Published in:
- Logic & Logical Philosophy, 2009, v. 18, n. 2, p. 97, doi. 10.12775/LLP.2009.007
- By:
- Publication type:
- Article
Supervenience and Infinitary Logic.
- Published in:
- Nous, 2001, v. 35, n. 3, p. 419, doi. 10.1111/0029-4624.00304
- By:
- Publication type:
- Article
Conway and iteration hemirings Part 2.
- Published in:
- International Journal of Algebra & Computation, 2014, v. 24, n. 4, p. 483, doi. 10.1142/S0218196714500222
- By:
- Publication type:
- Article
Higher-Order Contingentism, Part 3: Expressive Limitations.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 4, p. 649, doi. 10.1007/s10992-017-9443-0
- By:
- Publication type:
- Article
Contraction, Infinitary Quantifiers, and Omega Paradoxes.
- Published in:
- Journal of Philosophical Logic, 2018, v. 47, n. 4, p. 611, doi. 10.1007/s10992-017-9441-2
- By:
- Publication type:
- Article
Measurable groups of low dimension.
- Published in:
- Mathematical Logic Quarterly, 2008, v. 54, n. 4, p. 374, doi. 10.1002/malq.200710052
- By:
- Publication type:
- Article
Existence of EF-equivalent non-isomorphic models.
- Published in:
- Mathematical Logic Quarterly, 2007, v. 53, n. 2, p. 111, doi. 10.1002/malq.200610031
- By:
- Publication type:
- Article
From finitary to infinitary second-order logic.
- Published in:
- Mathematical Logic Quarterly, 2005, v. 51, n. 5, p. 499, doi. 10.1002/malq.200410046
- By:
- Publication type:
- Article
Index sets for ω-languages.
- Published in:
- Mathematical Logic Quarterly, 2003, v. 49, n. 1, p. 22, doi. 10.1002/malq.200310002
- By:
- Publication type:
- Article
Algebraic Characterizations for Universal Fragments of Logic.
- Published in:
- Mathematical Logic Quarterly, 1999, v. 45, n. 3, p. 385, doi. 10.1002/malq.19990450309
- By:
- Publication type:
- Article
Intrinsically Hyperarithmetical Sets.
- Published in:
- Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 469, doi. 10.1002/malq.19960420139
- By:
- Publication type:
- Article
An Infinitary Graded Modal Logic (Graded Modalities VI).
- Published in:
- Mathematical Logic Quarterly, 1995, v. 41, n. 4, p. 547, doi. 10.1002/malq.19950410410
- By:
- Publication type:
- Article
Completeness of the infinitary polyadic axiomatization.
- Published in:
- Mathematical Logic Quarterly, 1993, v. 39, n. 1, p. 197, doi. 10.1002/malq.19930390122
- By:
- Publication type:
- Article
PARTIALLY ORDERED CONNECTIVES.
- Published in:
- Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 361, doi. 10.1002/malq.19920380134
- By:
- Publication type:
- Article
ON THE TRANSITIVE HULL OF A κ-NARROW RELATION.
- Published in:
- Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 387, doi. 10.1002/malq.19920380137
- By:
- Publication type:
- Article
On second-order characterizability.
- Published in:
- Logic Journal of the IGPL, 2013, v. 21, n. 5, p. 767, doi. 10.1093/jigpal/jzs047
- By:
- Publication type:
- Article
Stable models for infinitary formulas with extensional atoms.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 771, doi. 10.1017/S1471068416000314
- By:
- Publication type:
- Article
Proving infinitary formulas.
- Published in:
- Theory & Practice of Logic Programming, 2016, v. 16, n. 5/6, p. 787, doi. 10.1017/S1471068416000302
- By:
- Publication type:
- Article
An infinitary encoding of temporal equilibrium logic.
- Published in:
- Theory & Practice of Logic Programming, 2015, v. 15, n. 4/5, p. 666, doi. 10.1017/S1471068415000307
- By:
- Publication type:
- Article
AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES.
- Published in:
- International Journal of Foundations of Computer Science, 2009, v. 20, n. 4, p. 747, doi. 10.1142/S0129054109006851
- By:
- Publication type:
- Article
On strong standard completeness in some MTL $$_\Delta $$ expansions.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2017, v. 21, n. 1, p. 125, doi. 10.1007/s00500-016-2338-0
- By:
- Publication type:
- Article
On infinite real trace rational languages of maximum topological complexity.
- Published in:
- Journal of Mathematical Sciences, 2006, v. 134, n. 5, p. 2435, doi. 10.1007/s10958-006-0120-z
- By:
- Publication type:
- Article
Effective properties of Marker's extensions.
- Published in:
- Journal of Logic & Computation, 2013, v. 23, n. 6, p. 1335, doi. 10.1093/logcom/ext041
- By:
- Publication type:
- Article
Counting the back-and-forth types.
- Published in:
- Journal of Logic & Computation, 2012, v. 22, n. 4, p. 857, doi. 10.1093/logcom/exq048
- By:
- Publication type:
- Article
Hybrid Logics with Infinitary Proof Systems.
- Published in:
- Journal of Logic & Computation, 2006, v. 16, n. 2, p. 161, doi. 10.1093/logcom/exi086
- By:
- Publication type:
- Article
Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity.
- Published in:
- Journal of Logic & Computation, 2006, v. 16, n. 2, p. 257, doi. 10.1093/logcom/exi077
- By:
- Publication type:
- Article
Characterizing Interpolation Pairs in Infinitary Graded Logics.
- Published in:
- Journal of Logic & Computation, 2003, v. 13, n. 2, p. 173, doi. 10.1093/logcom/13.2.173
- By:
- Publication type:
- Article
BOREL FUNCTORS AND INFINITARY INTERPRETATIONS.
- Published in:
- Journal of Symbolic Logic, 2018, v. 83, n. 4, p. 1434, doi. 10.1017/jsl.2017.81
- By:
- Publication type:
- Article
CONSTRUCTING MANY ATOMIC MODELS IN ℵ1.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 3, p. 1142, doi. 10.1017/jsl.2015.81
- By:
- Publication type:
- Article
CLASSES OF STRUCTURES WITH NO INTERMEDIATE ISOMORPHISM PROBLEMS.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 1, p. 127, doi. 10.1017/jsl.2014.55
- By:
- Publication type:
- Article
Infinitary stability theory.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 567, doi. 10.1007/s00153-016-0481-z
- By:
- Publication type:
- Article
An extension of the omega-rule.
- Published in:
- Archive for Mathematical Logic, 2016, v. 55, n. 3/4, p. 593, doi. 10.1007/s00153-016-0482-y
- By:
- Publication type:
- Article
A note on extensions of infinitary logic.
- Published in:
- Archive for Mathematical Logic, 2005, v. 44, n. 1, p. 63, doi. 10.1007/s00153-004-0212-8
- By:
- Publication type:
- Article
An approach to infinitary temporal proof theory.
- Published in:
- Archive for Mathematical Logic, 2004, v. 43, n. 8, p. 965, doi. 10.1007/s00153-004-0237-z
- By:
- Publication type:
- Article
Bounded variable logics: two, three, and more.
- Published in:
- Archive for Mathematical Logic, 1999, v. 38, n. 4, p. 235, doi. 10.1007/s001530050127
- By:
- Publication type:
- Article
Infinitary rewriting: meta-theory and convergence.
- Published in:
- Acta Informatica, 2007, v. 44, n. 2, p. 91, doi. 10.1007/s00236-007-0043-2
- By:
- Publication type:
- Article
COMPLETENESS THEOREM FOR CONTINUOUS FUNCTIONS AND PRODUCT CLASS-TOPOLOGIES.
- Published in:
- Publications de l'Institut Mathématique, 2016, v. 100, n. 114, p. 119, doi. 10.2298/PIM160525001D
- By:
- Publication type:
- Article
Supervenience and infinitary property-forming operations.
- Published in:
- Philosophical Studies, 2012, v. 160, n. 3, p. 415, doi. 10.1007/s11098-011-9727-0
- By:
- Publication type:
- Article
Infinite stable graphs with large chromatic number II.
- Published in:
- Journal of the European Mathematical Society (EMS Publishing), 2024, v. 26, n. 12, p. 4585, doi. 10.4171/JEMS/1352
- By:
- Publication type:
- Article