We gratefully acknowledge support from
the Simons Foundation and member institutions.

Logic

Authors and titles for math.LO in Jul 2021, skipping first 75

[ total of 78 entries: 1-10 | ... | 46-55 | 56-65 | 66-75 | 76-78 ]
[ showing 10 entries per page: fewer | more | all ]
[76]  arXiv:2107.14487 (cross-list from cs.LO) [pdf, other]
Title: Refining Labelled Systems for Modal and Constructive Logics with Applications
Authors: Tim Lyon
Comments: PhD Thesis
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Logic (math.LO)
[77]  arXiv:2107.13975 (cross-list from cs.LO) [pdf, ps, other]
Title: A Sketch of a Proof-Theoretic Semantics for Necessity
Authors: Nils Kürbis
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[78]  arXiv:2107.13988 (cross-list from cs.LO) [pdf, ps, other]
Title: Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality
Authors: Nils Kürbis
Journal-ref: Journal of Philosophical Logic 44/6 (2015): 713-727
Subjects: Logic in Computer Science (cs.LO); Logic (math.LO)
[ total of 78 entries: 1-10 | ... | 46-55 | 56-65 | 66-75 | 76-78 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, 2209, contact, help  (Access key information)