7 citations · 15 across the 10 of their papers we have counts for
10 papers
A decision procedure for intuitionistic modal logic IS4 (and IK4)
Marianna Girlando, Roman Kuznets, Sonia Marin +1
In this paper, we show that the two intuitionistic modal logics IS4 and IK4 are decidable. We provide a constructive decision procedure, that, given a formula, produces either a pr…
Labelled Sequent Calculi for Propositional Team Logics
Fausto Barbero, Marianna Girlando, Valentin Müller +1
Team semantics is a general framework where formulas are not interpreted with respect to a single point of evaluation, but with respect to sets of such points. Team semantics is us…
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic (Extended Version)
Tiziano Dalmonte, Marianna Girlando
Intuitionistic conditional logic, studied by Weiss, Ciardelli and Liu, and Olkhovikov, aims at providing a constructive analysis of conditional reasoning. In this framework, the wo…
A Bi-nested Calculus for Intuitionistic K: Proofs and Countermodels
Han Gao, Marianna Girlando, Nicola Olivetti
The logic IK is the intuitionistic variant of modal logic introduced by Fischer Servi, Plotkin and Stirling, and studied by Simpson. This logic is considered a fundamental intuitio…
A significance-based account of ceteris paribus counterfactuals
Avgerinos Delkos, Marianna Girlando
When evaluating a counterfactual statement, it is often convenient to specify conditions that ought to be kept unchanged. Formally, this can be done by associating to each counterf…
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche +5
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuiti…