Local is Best: Efficient Reductions to Modal Logic K von Papacchini, Fabio, Nalon, Cláudia, Hustadt, Ullrich, Dixon, Clare

Volltext

Modal Resolution: Proofs, Layers, and Refinements von Nalon, Cláudia, Dixon, Clare, Hustadt, Ullrich

Volltext

A Resolution-Based Theorem Prover for Kn: Architecture, Refinements, Strategies and Experiments von Nalon, Cláudia, Hustadt, Ullrich, Dixon, Clare

Volltext

Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic von Lopes, Bruno, Nalon, Cláudia, Haeusler, Edward Hermann

Volltext

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings von Schmidt, Renate A, Nalon, Cláudia

Volltext

From Global to Local: Reductions for the Modal Cube into K: Invited Presentation at the 17th International Workshop on Logical and Semantic Frameworks with Applications von Nalon, Cláudia

Volltext

A Modal-Layered Resolution Calculus for K von Nalon, Cláudia, Hustadt, Ullrich, Dixon, Clare

Volltext

A Resolution-Based Calculus for Preferential Logics von Nalon, Cláudia, Pattinson, Dirk

Volltext

A resolution-based calculus for Coalition Logic von Nalon, C., Zhang, L., Dixon, C., Hustadt, U.

Volltext

A Resolution Prover for Coalition Logic von Nalon, Cláudia, Zhang, Lan, Dixon, Clare, Hustadt, Ullrich

Volltext

Anti-prenexing and Prenexing for Modal Logics von Nalon, Cláudia, Dixon, Clare

Volltext

Ordered Resolution for Coalition Logic von Hustadt, Ullrich, Gainer, Paul, Dixon, Clare, Nalon, Cláudia, Zhang, Lan

Volltext

Correction to: Local is Best: Efficient Reductions to Modal Logic K von Papacchini, Fabio, Nalon, Cláudia, Hustadt, Ullrich, Dixon, Clare

Volltext

Clausal resolution for normal modal logics von Nalon, Cláudia, Dixon, Clare

Volltext

Towards Resolution-based Reasoning for Connected Logics von Nalon, Cláudia, Kutz, Oliver

Volltext

Cyclic Proofs with Ordering Constraints von Stratulat, Sorin

Volltext

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

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Volltext

A Cut-Free Cyclic Proof System for Kleene Algebra von Das, Anupam, Pous, Damien

Volltext

Non-clausal Connection Calculi for Non-classical Logics von Otten, Jens

Volltext