Statements (17)
| Predicate | Object | 
|---|---|
| gptkbp:instanceOf | 
                                    
                                        
                                            gptkb:book
                                        
                                         | 
                            
| gptkbp:author | 
                                    
                                        
                                            gptkb:Patrick_Blackburn
                                        
                                         gptkb:Maarten_de_Rijke gptkb:Yde_Venema  | 
                            
| gptkbp:format | 
                                    
                                        
                                            
                                            hardcover
                                        
                                        
                                         paperback  | 
                            
| gptkbp:ISBN | 
                                    
                                        
                                            
                                            9780521527149
                                        
                                        
                                         | 
                            
| gptkbp:language | 
                                    
                                        
                                            
                                            English
                                        
                                        
                                         | 
                            
| gptkbp:numberInSeries | 
                                    
                                        
                                            
                                            53
                                        
                                        
                                         | 
                            
| gptkbp:pages | 
                                    
                                        
                                            
                                            574
                                        
                                        
                                         | 
                            
| gptkbp:publicationYear | 
                                    
                                        
                                            
                                            2001
                                        
                                        
                                         | 
                            
| gptkbp:publisher | 
                                    
                                        
                                            gptkb:Cambridge_University_Press
                                        
                                         | 
                            
| gptkbp:series | 
                                    
                                        
                                            gptkb:Cambridge_Tracts_in_Theoretical_Computer_Science
                                        
                                         | 
                            
| gptkbp:subject | 
                                    
                                        
                                            gptkb:logic
                                        
                                         | 
                            
| gptkbp:bfsParent | 
                                    
                                        
                                            gptkb:Patrick_Blackburn
                                        
                                         | 
                            
| gptkbp:bfsLayer | 
                                    
                                        
                                            
                                            7
                                        
                                        
                                         | 
                            
| https://www.w3.org/2000/01/rdf-schema#label | 
                                    
                                        
                                            
                                            Modal Logic (book)
                                        
                                        
                                         |