This HTML5 document contains 102 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n17http://en.wikipedia.org/wiki/Jan_%C5%81
n14http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(I%E2%80%93Q)
n16http://en.wikipedia.org/wiki/Johan_van_Benthem_(logician)
n10http://en.wikipedia.org/wiki/Anil_Gupta_(philosopher)
rdfshttp://www.w3.org/2000/01/rdf-schema#
n13http://en.wikipedia.org/wiki/Category:
skoshttp://www.w3.org/2004/02/skos/core#
n7http://caligraph.org/resource/Bob_Hale_(philosopher)
n12http://en.wikipedia.org/wiki/Duality_(mathematics)
n15http://en.wikipedia.org/wiki/Institution_(computer_science)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
clgohttp://caligraph.org/ontology/
n4http://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
clgrhttp://caligraph.org/resource/
Subject Item
clgr:James_Garson
clgo:mainInterest
clgr:Modal_logic
Subject Item
clgr:Charles_Hartshorne
clgo:notableIdea
clgr:Modal_logic
Subject Item
clgr:Valentin_Goranko
clgo:knownFor
clgr:Modal_logic
Subject Item
clgr:Max_Cresswell
clgo:mainInterest
clgr:Modal_logic
Subject Item
clgr:Kaave_Lajevardi
clgo:mainInterest
clgr:Modal_logic
Subject Item
n7:
clgo:mainInterest
clgr:Modal_logic
clgo:notableIdea
clgr:Modal_logic
Subject Item
clgr:Arthur_Prior
clgo:mainInterest
clgr:Modal_logic
Subject Item
clgr:Georg_Henrik_von_Wright
clgo:mainInterest
clgr:Modal_logic
Subject Item
clgr:Ruth_Barcan_Marcus
clgo:notableIdea
clgr:Modal_logic
Subject Item
clgr:Modal_logic
rdf:type
owl:NamedIndividual clgo:NP-complete_problem clgo:Academic_discipline clgo:Important_publication_in_philosophy clgo:Semantic
rdfs:label
Modal logic
owl:sameAs
dbr:Modal_logic
prov:wasDerivedFrom
n4:Theory_of_Categories n4:Paul_Gochet n4:List_of_NP-complete_problems n4:Outline_of_artificial_intelligence n4:Polish_notation n4:Outline_of_philosophy n4:Outline_of_academic_disciplines n4:Timothy_Williamson n4:At_sign n4:QBlade n4:First-order_logic n4:List_of_important_publications_in_philosophy n4:List_of_academic_fields n4:Abstract_algebraic_logic n10: n4:Outline_of_robotics n12: n13:Semantics n14: n15: n4:Non-classical_logic n4:Hossein_Ziai n16: n4:Robert_Trundle n17:ukasiewicz
skos:prefLabel
Modal logic
skos:altLabel
quantified modal logic modal-logic modal logic#Formal rules modal logics S4 multiple-modal logic Modal_logic#History Modal Logic If something is possibly false, it is not necessary S5 cube modal and related logics modal properties Modal logic#Alethic logic physically possible Modality intensional logics necessity Modal_logic#Alethic_logic modal logic S4 necessarily modal scenarios necessary modalized necessity and possibility (modality) Necessary modal metaphysics calculi Necessity Modal_logic#Semantics Modal Logic as Metaphysics modal operator modal arguments Modal logic#Axiomatic systems modality modal S5 the section on axiomatic systems modal notions Possibility metaphysics of modality temporal Modal modal logic in ''S5'' necessarily true modalities Modal_logic#Axiomatic_systems modal theory modal logics monomodal logic Alethic logic S4 modal operators modal logic contingent possible worlds Modal logic#Basic notions necessitarian modal proposition
Subject Item
clgr:Saul_Kripke
clgo:mainInterest
clgr:Modal_logic
Subject Item
clgr:Alvin_Plantinga
clgo:mainInterest
clgr:Modal_logic