Many-Valued Modal Logics (1992)

Cached

Download Links

by Melvin C. Fitting
Venue:Fundamenta Informaticae
Citations:217 - 16 self

Active Bibliography

22 Many-Valued Modal Logics II – Melvin Fitting - 1992
Many-Valued Modal Logics II Melvin – unknown authors - 2004
8 Deduction in Many-Valued Logics: a Survey – Reiner Hähnle, Gonzalo Escalada-imaz - 1997
3 Almost duplication-free tableau calculi for propositional Lax logics – Alessandro Avellone, Mauro Ferrari - 1996
2 DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics – Stefan Gerberding - 1996
2 Modelling Rational Inquiry in Non-Ideal Agents – Antonio Moreno - 1997
16 On the relation between intuitionistic and classical modal logics. Algebra and Logic – Frank Wolter, Michael Zakharyaschev - 1996
74 Generalized Model Checking: Reasoning about Partial State Spaces – Glenn Bruns, Patrice Godefroid - 2000
11 A domain equation for refinement of partial systems – Michael R. A. Huth, Radha Jagadeesan, David A. Schmidt
96 Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract) – Glenn Bruns, Patrice Godefroid - 1999
Information Frames, Implication Systems and Modalities – Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo, Ra Russo - 1996
7 Grafting Modalities onto substructural implication systems – Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo - 1996
9 A Uniform Tableau Method for Intuitionistic Modal Logics I – Giambattista Amati, Fiora Pirri - 1993
102 The Proof-Theory and Semantics of Intuitionistic Modal Logic – Alex K. Simpson - 1994
2 The Tableau-based Theorem Prover – Version Bernhard Beckert, Bernhard Beckert, Reiner Hahnle, Peter Oel, Martin Sulzmann
30 An improved method for adding equality to free variable semantic tableaux – Bernhard Beckert, Reiner Hähnle - 1992
3 Efficient Deduction in Many-Valued Logics – Reiner Hähnle - 1994
12 The Tableau-based Theorem Prover 3TAP - Version 4.0 – Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann - 1996
25 Kleene’s three-valued logics and their children – Melvin Fitting - 1994