G. Mints. A Short Introduction to Modal Logic. CSLI Lecture Notes 30, CSLI Publications, Stanford, 1992. 15 Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Proofs and Expressiveness in Alethic Modal Logic - de Rijke, Wansing (2001) (Correct)
The Method of Hypersequents in the Proof Theory of Propositional.. - Avron (1994) (25 citations) (Correct)
A Survey on Multi-Stage Programming Languages - Yang (1999) (Correct)
Free Variable Tableaux for Propositional Modal Logics - Beckert, Goré (1997) (24 citations) (Correct)
Multiplicative Conjunction as an Extensional Conjunction - Avron (1997) (1 citation) (Correct)
Efficient Constraints on Possible Worlds for Reasoning about.. - Stone (1997) (1 citation) (Correct)
Free Variable Tableaux for Propositional Modal Logics - Beckert (1997) (24 citations) (Correct)
A Deep Inference System for the Modal Logic S5 - Stouppa (2005) (1 citation) (Correct)
From Intervals to? Towards a General Description of.. - Kreinovich, Dimuro.. (2004) (Correct)
Functional Completeness for a Natural Deduction Formulation of.. - Braüner (Correct)
Proofs and Expressiveness in Alethic Modal Logic - de Rijke, Wansing (2001) (Correct)
From Interval Computations to Modal - Mathematics Applications And (1996) (Correct)
Free-variable Tableaux for Propositional Modal Logics - Beckert, Goré (1997) (24 citations) (Correct)
Simple Consequence Relations - Avron (1991) (60 citations) (Correct)
Strong Cut-Elimination for Constant Domain First-Order S5 - Wansing (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC