Disco - Hyperdata Browser (About)

Modal logic

URI:
PropertyValueSources
type http://www.w3.org/2004/02/skos/core#Concept G2
label Modal logic G2
broader http://dbpedia.org/resource/Category:Mathematical_logic G2
broader Non-classical logic G2 G3
prefLabel Modal logic G2
sourceURL Modal logic G1
is broader of http://dbpedia.org/resource/Category:Axioms_of_modal_logic G2
is broader of http://dbpedia.org/resource/Category:Necessity G2
is broader of http://dbpedia.org/resource/Category:Possibility G2
is subject of http://dbpedia.org/resource/Accessibility_relation G2
is subject of http://dbpedia.org/resource/Accident_%28philosophy%29 G2
is subject of http://dbpedia.org/resource/Actualism G2
is subject of http://dbpedia.org/resource/Admissible_rule G2
is subject of http://dbpedia.org/resource/Alternating-time_Temporal_Logic G2
is subject of http://dbpedia.org/resource/Apodicticity G2
is subject of http://dbpedia.org/resource/Assertoric G2
is subject of http://dbpedia.org/resource/Autoepistemic_logic G2
is subject of http://dbpedia.org/resource/Axiom_S5 G2
is subject of http://dbpedia.org/resource/Barcan_formula G2
is subject of http://dbpedia.org/resource/CTL%2A G2
is subject of http://dbpedia.org/resource/Church_Frege_ontology G2
is subject of http://dbpedia.org/resource/Classical_modal_logic G2
is subject of http://dbpedia.org/resource/Computation_tree_logic G2
is subject of http://dbpedia.org/resource/Conceptual_necessity G2
is subject of http://dbpedia.org/resource/Condition_of_possibility G2
is subject of http://dbpedia.org/resource/Contingency_%28philosophy%29 G2
is subject of http://dbpedia.org/resource/Counterpart_theory G2
is subject of http://dbpedia.org/resource/De_dicto_and_de_re G2
is subject of http://dbpedia.org/resource/Deontic_logic G2
is subject of http://dbpedia.org/resource/Doxastic_logic G2
is subject of http://dbpedia.org/resource/Duration_calculus G2
is subject of http://dbpedia.org/resource/Dynamic_logic_%28modal_logic%29 G2
is subject of http://dbpedia.org/resource/Epistemic_modal_logic G2
is subject of http://dbpedia.org/resource/Epistemic_possibility G2
is subject of http://dbpedia.org/resource/Essence G2
is subject of http://dbpedia.org/resource/Fair_Computational_tree_logic G2
is subject of http://dbpedia.org/resource/Fiction_theory G2
is subject of http://dbpedia.org/resource/Finite_model_property G2
is subject of http://dbpedia.org/resource/Formal_ethics G2
is subject of http://dbpedia.org/resource/G%C3%B6del%27s_ontological_proof G2
is subject of http://dbpedia.org/resource/Hennessy-Milner_logic G2
is subject of http://dbpedia.org/resource/Hybrid_logic G2
is subject of http://dbpedia.org/resource/Imperative_logic G2
is subject of http://dbpedia.org/resource/Impossible_event G2
is subject of Error

VelocityServlet: Error processing the template

Invocation of method 'getLabel' in  class de.fuberlin.wiwiss.rdf_browser.LabelStore threw exception class java.util.ConcurrentModificationException : null
org.apache.velocity.exception.MethodInvocationException: Invocation of method 'getLabel' in  class de.fuberlin.wiwiss.rdf_browser.LabelStore threw exception class java.util.ConcurrentModificationException : null
	at org.apache.velocity.runtime.parser.node.ASTMethod.execute(ASTMethod.java:246)
	at org.apache.velocity.runtime.parser.node.ASTReference.execute(ASTReference.java:175)
	at org.apache.velocity.runtime.parser.node.ASTReference.evaluate(ASTReference.java:307)
	at org.apache.velocity.runtime.parser.node.ASTExpression.evaluate(ASTExpression.java:45)
	at org.apache.velocity.runtime.parser.node.ASTIfStatement.render(ASTIfStatement.java:68)
	at org.apache.velocity.runtime.parser.node.ASTBlock.render(ASTBlock.java:55)
	at org.apache.velocity.runtime.parser.node.ASTElseIfStatement.render(ASTElseIfStatement.java:78)
	at org.apache.velocity.runtime.parser.node.ASTIfStatement.render(ASTIfStatement.java:89)
	at org.apache.velocity.runtime.parser.node.ASTBlock.render(ASTBlock.java:55)
	at org.apache.velocity.runtime.directive.Foreach.render(Foreach.java:166)
	at org.apache.velocity.runtime.parser.node.ASTDirective.render(ASTDirective.java:114)
	at org.apache.velocity.runtime.parser.node.ASTBlock.render(ASTBlock.java:55)
	at org.apache.velocity.runtime.parser.node.ASTIfStatement.render(ASTIfStatement.java:70)
	at org.apache.velocity.runtime.parser.node.ASTBlock.render(ASTBlock.java:55)
	at org.apache.velocity.runtime.parser.node.ASTIfStatement.render(ASTIfStatement.java:70)
	at org.apache.velocity.runtime.parser.node.SimpleNode.render(SimpleNode.java:230)
	at org.apache.velocity.Template.merge(Template.java:256)
	at org.apache.velocity.servlet.VelocityServlet.mergeTemplate(VelocityServlet.java:440)
	at org.apache.velocity.servlet.VelocityServlet.doRequest(VelocityServlet.java:372)
	at org.apache.velocity.servlet.VelocityServlet.doGet(VelocityServlet.java:317)
	at javax.servlet.http.HttpServlet.service(HttpServlet.java:596)
	at javax.servlet.http.HttpServlet.service(HttpServlet.java:689)
	at org.mortbay.jetty.servlet.ServletHolder.handle(ServletHolder.java:428)
	at org.mortbay.jetty.servlet.WebApplicationHandler.dispatch(WebApplicationHandler.java:473)
	at org.mortbay.jetty.servlet.ServletHandler.handle(ServletHandler.java:568)
	at org.mortbay.http.HttpContext.handle(HttpContext.java:1530)
	at org.mortbay.jetty.servlet.WebApplicationContext.handle(WebApplicationContext.java:633)
	at org.mortbay.http.HttpContext.handle(HttpContext.java:1482)
	at org.mortbay.http.HttpServer.service(HttpServer.java:909)
	at org.mortbay.http.HttpConnection.service(HttpConnection.java:816)
	at org.mortbay.http.HttpConnection.handleNext(HttpConnection.java:982)
	at org.mortbay.http.HttpConnection.handle(HttpConnection.java:833)
	at org.mortbay.http.SocketListener.handleConnection(SocketListener.java:244)
	at org.mortbay.util.ThreadedServer.handle(ThreadedServer.java:357)
	at org.mortbay.util.ThreadPool$PoolThread.run(ThreadPool.java:534)