Cyclic Hypersequent System for Transitive Closure Logic von Das, Anupam, Girlando, Marianna

Volltext

Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics von Girlando, Marianna, Negri, Sara, Olivetti, Nicola

Volltext

Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning von Girlando, Marianna, Lellmann, Björn, Olivetti, Nicola, Pesce, Stefano, Pozzato, Gian Luca

Volltext

On the proof theory of conditional logics von Girlando, Marianna

Volltext bestellen

CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS von GIRLANDO, MARIANNA, NEGRI, SARA, OLIVETTI, NICOLA, RISCH, VINCENT

Volltext

A dynamic approach to ceteris paribus counterfactuals von Delkos, Avgerinos, Girlando, Marianna

Volltext bestellen

MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description) von Girlando, Marianna, Straßburger, Lutz

Volltext

Conditional Beliefs: from Neighbourhood Semantics to Sequent Calculus von Girlando, Marianna, Negri, Sara, Olivetti, Nicola, Risch, Vincent

Volltext

A Simple Loopcheck for Intuitionistic K von Girlando, Marianna, Kuznets, Roman, Marin, Sonia, Morales, Marianela, Straßburger, Lutz

Volltext

Uniform Labelled Calculi for Conditional and Counterfactual Logics von Girlando, Marianna, Negri, Sara, Sbardolini, Giorgio

Volltext

Comparative plausibility in neighbourhood models: axiom systems and sequent calculi von Dalmonte, Tiziano, Girlando, Marianna

Volltext bestellen

Cyclic Proofs, Hypersequents, and Transitive Closure Logic von Das, Anupam, Girlando, Marianna

Volltext bestellen

VINTE: An Implementation of Internal Calculi for Lewis’ Logics of Counterfactual Reasoning von Girlando, Marianna, Lellmann, Björn, Olivetti, Nicola, Pozzato, Gian Luca, Vitalis, Quentin

Volltext

Nested Sequents for the Logic of Conditional Belief von Girlando, Marianna, Lellmann, Björn, Olivetti, Nicola

Volltext

A dynamic approach to ceteris paribus counterfactuals von Delkos, Avgerinos, Girlando, Marianna

Volltext

Comparative plausibility in neighbourhood models: axiom systems and sequent calculi von Dalmonte, Tiziano, Girlando, Marianna

Volltext

Standard Sequent Calculi for Lewis' Logics of Counterfactuals von Girlando, Marianna, Lellmann, Björn, Olivetti, Nicola, Pozzato, Gian Luca

Volltext

Intuitionistic S4 is decidable von Girlando, Marianna, Kuznets, Roman, Marin, Sonia, Morales, Marianela, Straßburger, Lutz

Volltext

Hypersequent Calculi for Lewis’ Conditional Logics with Uniformity and Reflexivity von Girlando, Marianna, Lellmann, Björn, Olivetti, Nicola, Pozzato, Gian Luca

Volltext

Cyclic Proofs, Hypersequents, and Transitive Closure Logic von Das, Anupam, Girlando, Marianna

Volltext