Journal of Applied Non-Classical Logics 22 (4):275 - 294 (2012)
| Authors | |
| Abstract |
(2012). Modal logics for reasoning about infinite unions and intersections of binary relations. Journal of Applied Non-Classical Logics: Vol. 22, No. 4, pp. 275-294. doi: 10.1080/11663081.2012.705960
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1080/11663081.2012.705960 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2002 - Cambridge University Press.
A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics.Rajeev Gore - unknown
View all 10 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Term-Modal Logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Reasoning Without Believing: On the Mechanisation of Presuppositions and Partiality.Manfred Kerber & Michael Kohlhase - 2012 - Journal of Applied Non-Classical Logics 22 (4):295 - 317.
Models for Stronger Normal Intuitionistic Modal Logics.Kosta Došen - 1985 - Studia Logica 44 (1):39 - 70.
Simulation and Transfer Results in Modal Logic – a Survey.Marcus Kracht & Frank Wolter - 1997 - Studia Logica 59 (2):149-177.
Superintuitionistic Companions of Classical Modal Logics.Frank Wolter - 1997 - Studia Logica 58 (2):229-259.
On Regular Modal Logics with Axiom □ ⊤ → □□ ⊤.Kazimierz Świrydowicz - 1990 - Studia Logica 49 (2):171 - 174.
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Analytics
Added to PP index
2013-03-01
Total views
51 ( #224,103 of 2,518,481 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,481 )
2013-03-01
Total views
51 ( #224,103 of 2,518,481 )
Recent downloads (6 months)
1 ( #408,186 of 2,518,481 )
How can I increase my downloads?
Downloads
