Full models for positive modal logic

Mathematical Logic Quarterly

Volumn 48, Issue 3, 2002, Pages 427-445

  Jansana, Ramon ^a  

^a UNIVERSITY OF BARCELONA   (Spain)

Author keywords

Abstract algebraic logic; Full models; Positive modal algebras; Positive modal logic; Protoalgebraic logic

Indexed keywords

EID: 0036335855     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/1521-3870(200204)48:3<427::AID-MALQ427>3.0.CO;2-T     Document Type: Article

References (14)

1. Algebraizable logics
2. Abstract algebraic logic and the deduction theorem
3. A new semantics for positive modal logic
4. Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic
5. Positive modal logic
6. A general algebraic semantics for sentential logics
7. Algebraic logic for classical conjunction and disjunction
8. Simulating without negation
9. On the algebraization of some Gentzen systems
10. Algebraizable Gentzen systems and the deduction theorem for Gentzen systems
11. Theory of logical calculi