Modal Logic Without Contraction In A Metatheory Without Contraction
Work
Year: 2019
Type: article
Abstract: Standard reasoning about Kripke semantics for modal logic is almost always based on a background framework of classical logic. Can proofs for familiar definability theorems be carried out using a non... more
Source: The Review of Symbolic Logic
Authors Patrick Girard, Zach Weber
Cites: 26
Cited by: 25
Related to: 10
FWCI: 3.379
Citation percentile (by year/subfield): 68.08
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: green