15 results
FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 04 January 2024, pp. 1-33
-
- Article
- Export citation
INTERLEAVING LOGIC AND COUNTING
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 26 July 2023, pp. 503-587
- Print publication:
- December 2023
-
- Article
- Export citation
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 20 April 2023, pp. 264-293
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 27 February 2023, pp. 1011-1032
- Print publication:
- December 2023
-
- Article
- Export citation
Quillen Model Categories-Based Notions of Locality of Logics over Finite Structures
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 16 January 2023, pp. 529-530
- Print publication:
- December 2022
-
- Article
-
- You have access
- Export citation
Semantics modulo satisfiability with applications: function representation, probabilities and game theory
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 28 June 2022, pp. 264-265
- Print publication:
- June 2022
-
- Article
-
- You have access
- Export citation
Continuous Abstract Data Types for Verified Computation
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 28 February 2022, p. 531
- Print publication:
- December 2021
-
- Article
-
- You have access
- Export citation
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 31 August 2021, pp. 311-333
- Print publication:
- June 2022
-
- Article
- Export citation
Model Theory in a Paraconsistent Environment
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 16 September 2021, p. 216
- Print publication:
- June 2021
-
- Article
-
- You have access
- Export citation
BISIMULATIONS FOR KNOWING HOW LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 22 March 2021, pp. 450-486
- Print publication:
- June 2022
-
- Article
- Export citation
PRIORITY MERGE AND INTERSECTION MODALITIES
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 22 February 2021, pp. 165-196
- Print publication:
- March 2022
-
- Article
- Export citation
RECURSIVE AXIOMATISATIONS FROM SEPARATION PROPERTIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 03 February 2021, pp. 1228-1258
- Print publication:
- September 2021
-
- Article
- Export citation
INQUISITIVE BISIMULATION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 30 October 2020, pp. 77-109
- Print publication:
- March 2021
-
- Article
- Export citation
Equivalences in Euler-based diagram systems through normal forms
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 September 2014, pp. 431-484
-
- Article
-
- You have access
- Export citation
A SIMPLE ALGORITHM FOR DEDUCTION
- Part of
-
- Journal:
- The ANZIAM Journal / Volume 51 / Issue 1 / July 2009
- Published online by Cambridge University Press:
- 09 March 2010, pp. 102-122
-
- Article
-
- You have access
- Export citation