41 results
DECIDABLE FRAGMENTS OF THE QUANTIFIED ARGUMENT CALCULUS
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 29 September 2023, pp. 126

 Article

 You have access
 Open access
 HTML
 Export citation
AN EGOCENTRIC LOGIC OF KNOWING HOW TO TELL THEM APART
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 29 June 2023, pp. 133

 Article

 You have access
 Open access
 HTML
 Export citation
AXIOMATIZABILITY OF PROPOSITIONALLY QUANTIFIED MODAL LOGICS ON RELATIONAL FRAMES
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
 Published online by Cambridge University Press:
 28 November 2022, pp. 758793
 Print publication:
 June 2024

 Article

 You have access
 Open access
 HTML
 Export citation
UNDECIDABILITY AND NONAXIOMATIZABILITY OF MODAL MANYVALUED LOGICS
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
 Published online by Cambridge University Press:
 20 April 2022, pp. 15761605
 Print publication:
 December 2022

 Article

 You have access
 Open access
 HTML
 Export citation
Rogers semilattices of punctual numberings

 Journal:
 Mathematical Structures in Computer Science / Volume 32 / Issue 2 / February 2022
 Published online by Cambridge University Press:
 29 March 2022, pp. 164188

 Article
 Export citation
Algebraic and Model Theoretic Properties of Ominimal Exponential Fields
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
 Published online by Cambridge University Press:
 28 February 2022, pp. 529530
 Print publication:
 December 2021

 Article

 You have access
 Export citation
MOST SIMPLE EXTENSIONS OF $\textbf{FL}_{\textbf{e}}$ ARE UNDECIDABLE
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
 Published online by Cambridge University Press:
 10 June 2021, pp. 11561200
 Print publication:
 September 2022

 Article
 Export citation
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 27 / Issue 1 / March 2021
 Published online by Cambridge University Press:
 06 May 2021, pp. 3966
 Print publication:
 March 2021

 Article
 Export citation
THE ADDITIVE GROUPS OF $\mathbb {Z}$ AND $\mathbb {Q}$ WITH PREDICATES FOR BEING SQUAREFREE
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
 Published online by Cambridge University Press:
 05 October 2020, pp. 13241349
 Print publication:
 December 2021

 Article
 Export citation
THE LOGIC OF SEQUENCE FRAMES
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
 Published online by Cambridge University Press:
 21 July 2020, pp. 101132
 Print publication:
 March 2022

 Article
 Export citation
INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
 Published online by Cambridge University Press:
 18 June 2020, pp. 749772
 Print publication:
 June 2020

 Article
 Export citation
THE FLUTED FRAGMENT REVISITED

 Journal:
 The Journal of Symbolic Logic / Volume 84 / Issue 3 / September 2019
 Published online by Cambridge University Press:
 06 June 2019, pp. 10201048
 Print publication:
 September 2019

 Article
 Export citation
DECIDABILITY OF THE THEORY OF MODULES OVER PRÜFER DOMAINS WITH INFINITE RESIDUE FIELDS

 Journal:
 The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
 Published online by Cambridge University Press:
 21 December 2018, pp. 13911412
 Print publication:
 December 2018

 Article
 Export citation
THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE

 Journal:
 The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
 Published online by Cambridge University Press:
 23 October 2018, pp. 829867
 Print publication:
 September 2018

 Article
 Export citation
CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

 Journal:
 The Review of Symbolic Logic / Volume 11 / Issue 4 / December 2018
 Published online by Cambridge University Press:
 28 June 2018, pp. 736779
 Print publication:
 December 2018

 Article
 Export citation
DECIDABILITY AND CLASSIFICATION OF THE THEORY OF INTEGERS WITH PRIMES

 Journal:
 The Journal of Symbolic Logic / Volume 82 / Issue 3 / September 2017
 Published online by Cambridge University Press:
 08 September 2017, pp. 10411050
 Print publication:
 September 2017

 Article
 Export citation
FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE

 Journal:
 The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
 Published online by Cambridge University Press:
 10 May 2016, pp. 524540
 Print publication:
 June 2016

 Article
 Export citation
EXPANSIONS OF THE ORDERED ADDITIVE GROUP OF REAL NUMBERS BY TWO DISCRETE SUBGROUPS

 Journal:
 The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
 Published online by Cambridge University Press:
 10 May 2016, pp. 10071027
 Print publication:
 September 2016

 Article
 Export citation
DECIDABILITY FOR THEORIES OF MODULES OVER VALUATION DOMAINS

 Journal:
 The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
 Published online by Cambridge University Press:
 22 April 2015, pp. 684711
 Print publication:
 June 2015

 Article
 Export citation
Decidability of the Clark's completion semantics for monadic programs and queries

 Journal:
 Theory and Practice of Logic Programming / Volume 15 / Issue 3 / May 2015
 Published online by Cambridge University Press:
 16 December 2014, pp. 402412

 Article
 Export citation