- Reduction Techniques for Proving Decidability in Logics and Their Meet–Combination.João Rasga, Cristina Sernadas & Walter Carnielli - 2021 - Bulletin of Symbolic Logic 27 (1):39-66.details
|
|
Strong extension axioms and Shelah’s zero-one law for choiceless polynomial time.Andreas Blass & Yuri Gurevich - 2003 - Journal of Symbolic Logic 68 (1):65-131.details
|
|
A correspondence theorem for interpretability logic with respect to Verbrugge semantics.Sebastijan Horvat & Tin Perkov - forthcoming - Logic Journal of the IGPL.details
|
|
Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.details
|
|
Generalized quantifiers.Dag Westerståhl - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Notions of locality and their logical characterizations over finite models.Lauri Hella, Leonid Libkin & Juha Nurmonen - 1999 - Journal of Symbolic Logic 64 (4):1751-1773.details
|
|
On fixed-point logic with counting.Jörg Flum & Martin Grohe - 2000 - Journal of Symbolic Logic 65 (2):777-787.details
|
|
Games and Lindström Theorems.Cheng Liao - 2023 - Logica Universalis 17 (1):1-21.details
|
|
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms.Philippe Balbiani, David Fernández-Duque, Andreas Herzig & Petar Iliev - 2022 - Logic Journal of the IGPL 30 (1):155-185.details
|
|
Rank logic is dead, long live rank logic!Erich Grädel & Wied Pakusa - 2019 - Journal of Symbolic Logic 84 (1):54-87.details
|
|
Logical Questions Concerning the $\mu$-Calculus: Interpolation, Lyndon and Los-Tarski.Giovanna D'agostino & Marco Hollenberg - 2000 - Journal of Symbolic Logic 65 (1):310-332.details
|
|
A limit law of almost $l$-partite graphs.Vera Koponen - 2013 - Journal of Symbolic Logic 78 (3):911-936.details
|
|
Maps, languages, and manguages: Rival cognitive architectures?Kent Johnson - 2015 - Philosophical Psychology 28 (6):815-836.details
|
|
Variables as stacks.C. F. M. Vermeulen - 2000 - Journal of Logic, Language and Information 9 (2):143-167.details
|
|
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.details
|
|
Second-order logic on equivalence relations.Georgi Georgiev & Tinko Tinchev - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):229-246.details
|
|
First order properties on nowhere dense structures.Jaroslav Nešetřil & Patrice Ossona de Mendez - 2010 - Journal of Symbolic Logic 75 (3):868 - 887.details
|
|
Some aspects of model theory and finite structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.details
|
|
Quine's 'limits of decision'.William C. Purdy - 1999 - Journal of Symbolic Logic 64 (4):1439-1466.details
|
|
'One is a Lonely Number': on the logic of communication.Johan van Benthem - unknowndetails
|
|
Epsilon-logic is more expressive than first-order logic over finite structures.Martin Otto - 2000 - Journal of Symbolic Logic 65 (4):1749-1757.details
|
|
Monadic second-order properties of very sparse random graphs.L. B. Ostrovsky & M. E. Zhukovskii - 2017 - Annals of Pure and Applied Logic 168 (11):2087-2101.details
|
|
First order properties on nowhere dense structures.Jaroslav Nešetřil & Patrice Ossona de Mendez - 2010 - Journal of Symbolic Logic 75 (3):868-887.details
|
|
Logic and games.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.details
|
|
Topological elementary equivalence of closed semi-algebraic sets in the real plane.Bart Kuijpers, Jan Paredaens & Jan Van den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530-1555.details
|
|
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in the Real Plane.Bart Kuijpers, Jan Paredaens & Jan Van Den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530 - 1555.details
|
|
Yet another hierarchy theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.details
|
|
Finite conformal hypergraph covers and Gaifman cliques in finite structures.Ian Hodkinson & Martin Otto - 2003 - Bulletin of Symbolic Logic 9 (3):387-405.details
|
|
First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.Umberto Grandi & Ulle Endriss - 2013 - Journal of Philosophical Logic 42 (4):595-618.details
|
|
Descriptive Complexity Theories.Joerg Flum - 2010 - Theoria 18 (1):47-58.details
|
|
On spectra of sentences of monadic second order logic with counting.E. Fischer & J. A. Makowsky - 2004 - Journal of Symbolic Logic 69 (3):617-640.details
|
|
Fifty years of the spectrum problem: survey and new results.Arnaud Durand, Neil D. Jones, Johann A. Makowsky & Malika More - 2012 - Bulletin of Symbolic Logic 18 (4):505-553.details
|
|
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.details
|
|
Capturing Relativized Complexity Classes without Order.Anuj Dawar, Georg Gottlob & Lauri Hella - 1998 - Mathematical Logic Quarterly 44 (1):109-122.details
|
|
Finding the limit of incompleteness I.Yong Cheng - 2020 - Bulletin of Symbolic Logic 26 (3-4):268-286.details
|
|
The logic of choice.Andreas Blass & Yuri Gurevich - 2000 - Journal of Symbolic Logic 65 (3):1264-1310.details
|
|
Interpolation and preservation for pebble logics.Alexandru Baltag - 1999 - Journal of Symbolic Logic 64 (2):846-858.details
|
|
Verification of agent navigation in partially-known environments.Benjamin Aminof, Aniello Murano, Sasha Rubin & Florian Zuleger - 2022 - Artificial Intelligence 308 (C):103724.details
|
|
Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.details
|
|
Reasoning About Preference Dynamics.Fenrong Liu - 2011 - Dordrecht, Netherland: Springer Verlag.details
|
|
First order quantifiers in monadic second order logic.H. Jerome Keisler & Wafik Boulos Lotfallah - 2004 - Journal of Symbolic Logic 69 (1):118-136.details
|
|
Counting Finite Models.Alan R. Woods - 1997 - Journal of Symbolic Logic 62 (3):925-949.details
|
|
Interpolation, preservation, and pebble games.Jon Barwise & Johan van Benthem - 1999 - Journal of Symbolic Logic 64 (2):881-903.details
|
|
Toward a Theory of Play: A Logical Perspective on Games and Interaction.Johan van Benthem & Eric Pacuit - unknowndetails
|
|