Found: 34
Select item for more details and to access through your institution.
Editorial Introduction.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 233, doi. 10.1007/s11225-013-9484-5
- By:
- Publication type:
- Article
Dependence and Independence.
- Published in:
- Studia Logica, 2013, v. 101, n. 2, p. 399, doi. 10.1007/s11225-013-9479-2
- By:
- Publication type:
- Article
SOME STRONG LOGICS WITHIN COMBINATORIAL SET THEORY AND THE LOGIC OF CHAINS.
- Published in:
- Sarajevo Journal of Mathematics, 2018, v. 14, n. 2, p. 133, doi. 10.5644/SJM.14.2.02
- By:
- Publication type:
- Article
An Overview of Saharon Shelah's Contributions to Mathematical Logic, in Particular to Model Theory.
- Published in:
- Theoria: A Swedish Journal of Philosophy, 2021, v. 87, n. 2, p. 349, doi. 10.1111/theo.12238
- By:
- Publication type:
- Article
In Memoriam: Per Lindström.
- Published in:
- 2010
- By:
- Publication type:
- Obituary
An atom's worth of anonymity.
- Published in:
- Logic Journal of the IGPL, 2023, v. 31, n. 6, p. 1078, doi. 10.1093/jigpal/jzac074
- By:
- Publication type:
- Article
A logical approach to context-specific independence.
- Published in:
- Logic Journal of the IGPL, 2017, v. 25, n. 2, p. 267
- By:
- Publication type:
- Article
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016).
- Published in:
- 2017
- By:
- Publication type:
- Proceeding
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
On the semantics of informational independence.
- Published in:
- Logic Journal of the IGPL, 2002, v. 10, n. 3, p. 339, doi. 10.1093/jigpal/10.3.339
- By:
- Publication type:
- Article
Second-Order Logic and Set Theory[This paper].
- Published in:
- Philosophy Compass, 2015, v. 10, n. 7, p. 463, doi. 10.1111/phc3.12229
- By:
- Publication type:
- Article
From IF to BI.
- Published in:
- Synthese, 2009, v. 167, n. 2, p. 207, doi. 10.1007/s11229-008-9415-6
- By:
- Publication type:
- Article
An Ehrenfeucht-Fraïssé game for.
- Published in:
- Mathematical Logic Quarterly, 2013, v. 59, n. 4/5, p. 357, doi. 10.1002/malq.201200104
- By:
- Publication type:
- Article
Recursive logic frames.
- Published in:
- Mathematical Logic Quarterly, 2006, v. 52, n. 2, p. 151, doi. 10.1002/malq.200410058
- By:
- Publication type:
- Article
Reflection of Long Game Formulas.
- Published in:
- Mathematical Logic Quarterly, 1994, v. 40, n. 3, p. 381, doi. 10.1002/malq.19940400307
- 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 SYMBIOSIS BETWEEN MODEL-THEORETIC AND SET-THEORETIC PROPERTIES OF LARGE CARDINALS.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 2, p. 584, doi. 10.1017/jsl.2015.60
- By:
- Publication type:
- Article
DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES.
- Published in:
- Journal of Symbolic Logic, 2016, v. 81, n. 1, p. 32, doi. 10.1017/jsl.2015.16
- By:
- Publication type:
- Article
LOGICALITY AND MODEL CLASSES.
- Published in:
- Bulletin of Symbolic Logic, 2021, v. 27, n. 4, p. 385, doi. 10.1017/bsl.2021.42
- By:
- Publication type:
- Article
AN EXTENSION OF A THEOREM OF ZERMELO.
- Published in:
- Bulletin of Symbolic Logic, 2019, v. 25, n. 2, p. 208, doi. 10.1017/bsl.2019.15
- By:
- Publication type:
- Article
23RD WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2016): CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC.
- Published in:
- 2017
- By:
- Publication type:
- Proceeding
JAAKKO HINTIKKA 1929–2015.
- Published in:
- 2015
- By:
- Publication type:
- Obituary
Independence-Friendly Logic: A Game-Theoretic Approach.
- Published in:
- 2014
- By:
- Publication type:
- Book Review
QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES.
- Published in:
- Review of Symbolic Logic, 2015, v. 8, n. 4, p. 722, doi. 10.1017/S1755020315000192
- By:
- Publication type:
- Article
ON THE EXPRESSIVE POWER OF MONOTONE NATURAL LANGUAGE QUANTIFIERS OVER FINITE MODELS.
- Published in:
- Journal of Philosophical Logic, 2002, v. 31, n. 4, p. 327
- By:
- Publication type:
- Article
Dimension in team semantics.
- Published in:
- Mathematical Structures in Computer Science, 2024, v. 34, n. 5, p. 410, doi. 10.1017/S0960129524000021
- By:
- Publication type:
- Article
When cardinals determine the power set: inner models and Härtig quantifier logic.
- Published in:
- Mathematical Logic Quarterly, 2023, v. 69, n. 4, p. 460, doi. 10.1002/malq.202200030
- By:
- Publication type:
- Article
Positive logics.
- Published in:
- Archive for Mathematical Logic, 2023, v. 62, n. 1/2, p. 207, doi. 10.1007/s00153-022-00837-3
- By:
- Publication type:
- Article
A logic for arguing about probabilities in measure teams.
- Published in:
- Archive for Mathematical Logic, 2017, v. 56, n. 5/6, p. 475, doi. 10.1007/s00153-017-0535-x
- 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
Inner models from extended logics: Part 1.
- Published in:
- Journal of Mathematical Logic, 2021, v. 21, n. 2, p. N.PAG, doi. 10.1142/S0219061321500124
- By:
- Publication type:
- Article
CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES.
- Published in:
- Journal of Mathematical Logic, 2011, v. 11, n. 1, p. 61, doi. 10.1142/S0219061311001006
- By:
- Publication type:
- Article
ON LÖWENHEIM-SKOLEM-TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC.
- Published in:
- Journal of Mathematical Logic, 2011, v. 11, n. 1, p. 87, doi. 10.1142/S0219061311001018
- By:
- Publication type:
- Article
Quantifiers and Congruence Closure.
- Published in:
- Studia Logica, 1999, v. 62, n. 3, p. 315, doi. 10.1023/A:1005190726000
- By:
- Publication type:
- Article