海量图书期刊资源,随时随地畅享阅读乐趣
Combining Logics I || Why Combine Logics?Patrick Blackburn and Maarten de Rijke · Studia Logica: An International Journal for Symbolic Logic · 1997
PDL for ordered treesAfanasiev, Loredana; Blackburn, Patrick; Dimitriou, Ioanna; Gaiffe, Bertrand; Goris, Evan; Marx, Maarten; de Rijke, Maarten · Journal of Applied Non-Classical Logics · 2005
Zooming In, Zooming OutPATRICK BLACKBURN; Maarten De Rijke · 1997
Zooming In, Zooming OutPatrick Blackburn and Maarten De Rijke · Journal of Logic, Language, and Information · 1997
Modal Logic || PrefaceBlackburn, Patrick; de Rijke, Maarten; Venema, Yde · 2001
Modal Logic || Basic ConceptsBlackburn, Patrick; de Rijke, Maarten; Venema, Yde · 2001
Modal Logic || ModelsBlackburn, Patrick; de Rijke, Maarten; Venema, Yde · 2001
Modal Logic || FramesBlackburn, Patrick; de Rijke, Maarten; Venema, Yde · 2001
Structured meanings and reflexive domainsSerge Lapierre · Studia Logica · 1992
The ω-ruleMichael Thau · Studia Logica · 1992
The logic of linear toleranceGiorgie Dzhaparidze · Studia Logica · 1992
Revision algebra semantics for conditional logicJohn Pais · Studia Logica · 1992
Books receivedStudia Logica · 1992
From the editorsM. E. Adams; W. Dziobiak · Studia Logica · 1996
FreeQ-distributive latticesRoberto Cignoli · Studia Logica · 1996
Priestley duality for some subalgebra latticesGeorges Hansoul · Studia Logica · 1996