Works matching DE "INFINITARY languages"

Results: 42

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:

Fritz, Peter

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:

Da Ré, Bruno;
Rosenblatt, Lucas

Publication type:

Article

Supervenience and Infinitary Logic.

Published in:

Nous (0029-4624), 2001, v. 35, n. 3, p. 419, doi. 10.1111/0029-4624.00304

By:

Glanzberg, Michael

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:

Akiyoshi, Ryota;
Mints, Grigori

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:

Vasey, Sebastien

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:

Shelah, Saharon;
Väänänen, Jouko

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:

Baratella, Stefano;
Masini, Andrea

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:

Otto, Martin

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:

Soskov, Ivan N.

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:

Montalbán, Antonio

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:

Kooi, Barteld;
de Lavalette, Gerard Renardel;
Verbrugge, Rineke

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:

Ognjanović, Zoran

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:

D'Agostino, Giovanna

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:

Hyttinen, Tapani;
Kangas, Kaisa;
Väänänen, Jouko

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:

Finkel, O.;
Ressayre, J.-P.;
Simonnet, P.

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:

Kahrs, Stefan

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:

YIH-KUEN TSAY;
BOW-YAW WANG

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:

HARRISON-TRAINOR, MATTHEW;
MILLER, RUSSELL;
MONTALBÁN, ANTONIO

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:

BALDWIN, JOHN T.;
LASKOWSKI, MICHAEL C.;
SHELAH, SAHARON

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:

MONTALBÁN, ANTONIO

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:

Vidal, Amanda;
Bou, Félix;
Esteva, Francesc;
Godo, Lluís

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:

Wojciech Buszkowski;
Ewa Palka

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:

HARRISON, AMELIA;
LIFSCHITZ, VLADIMIR;
Carro, Manuel;
King, Andy

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:

HARRISON, AMELIA;
LIFSCHITZ, VLADIMIR;
MICHAEL, JULIAN;
Carro, Manuel;
King, Andy

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:

CABALAR, PEDRO;
DIÉGUEZ, MARTÍN;
VIDAL, CONCEPCIÓN;
Eiter, Thomas;
Toni, Francesca

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:

Kamide, Norihiro

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:

Elgueta, Raimon

Publication type:

Article

Intrinsically Hyperarithmetical Sets.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 469, doi. 10.1002/malq.19960420139

By:

Soskov, Ivan N.

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:

Fattorosi-Barnaba, Maurizio;
Grassotti, Silvano

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:

Fleischer, Isidore

Publication type:

Article

PARTIALLY ORDERED CONNECTIVES.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 361, doi. 10.1002/malq.19920380134

By:

Sandu, Gabriel;
Väänänen, Jouko

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:

Diener, Karl-Heinz;
Diener, K.-H.

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:

Elwes, Richard;
Ryten, Mark

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:

Havlin, Chanoch;
Shelah, Saharon

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:

Weaver, George;
Penev, Irena

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:

Czenzer, Douglas;
Remmel, Jeffrey B.

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:

Bader, Ralf

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:

Halevi, Yatir;
Kaplan, Itay;
Shelah, Saharon

Publication type:

Article

Supermachines and Superminds.

Published in:

Minds & Machines, 2003, v. 13, n. 1, p. 155, doi. 10.1023/A:1021307923600

By:

Steinhart, Eric

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:

Droste, M.;
Ésik, Z.;
Kuich, W.

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:

Schulz, Armin

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:

Djordjević, Radosav;
Ristić, Vladimir;
Ikodinović, Nebojša

Publication type:

Article