Normal Multimodal Logics with Interaction Axioms
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoningJournal of Logic and Computation, 1998
- A Tableau Calculus for Multimodal Logics and Some (Un)Decidability ResultsPublished by Springer Nature ,1998
- Natural Deduction for Non-Classical LogicsStudia Logica, 1998
- Labelled propositional modal logics: theory and practiceJournal of Logic and Computation, 1997
- A Topography of Labelled Modal LogicsPublished by Springer Nature ,1996
- The Taming of the Cut. Classical Refutations with Analytic CutJournal of Logic and Computation, 1994
- A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logicsJournal of Automated Reasoning, 1994
- Modal Theorem Proving: An Equational ViewpointJournal of Logic and Computation, 1992
- TABLEAUX: A general theorem prover for modal logicsJournal of Automated Reasoning, 1991
- Modal LogicPublished by Cambridge University Press (CUP) ,1980