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

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

Namespace Prefixes

PrefixIRI
wikipedia-huhttp://hu.wikipedia.org/wiki/
dcthttp://purl.org/dc/terms/
n17https://books.google.hu/books%3Fid=Y87XKUfGlCUC&pg=PR11&dq=Logic,+language+and+meaning:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-huhttp://hu.dbpedia.org/resource/
prop-huhttp://hu.dbpedia.org/property/
n12http://www-formal.stanford.edu/jmc/mcchay69/
n20http://www.math.bme.hu/~asimon/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n9http://mally.stanford.edu/
freebasehttp://rdf.freebase.com/ns/
n8https://books.google.hu/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://hu.dbpedia.org/resource/Sablon:
owlhttp://www.w3.org/2002/07/owl#
n7http://plato.stanford.edu/entries/
n10http://plato.stanford.edu/entries/logic-deontic/
n6http://plato.stanford.edu/entries/logic-temporal/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://hu.dbpedia.org/resource/Kategória:

Statements

Subject Item
dbpedia-hu:Modális_logika
rdfs:label
Modális logika
owl:sameAs
freebase:m.01x5k5
dct:subject
n14:Matematikai_logika n14:Logika
dbo:wikiPageID
287862
dbo:wikiPageRevisionID
23211743
dbo:wikiPageExternalLink
n6:%7Ctitle=Temporal n7:mally-deontic%7Ctitle=Mally's n8:books%3Fid=FtXAwgy1w9cC&dq=kneale+logic&pg=PP1&ots=lcDojX6j0T&sig=C6Q8iWDX4w0y0FQHevrdOZVLLlE&hl=hu%7Ctitle=The n9:notes.pdf%7Ctitle=Basic n10:%7Ctitle=Deontic n7:logic-modal%7Ctitle=Modal n12:node22.html%7Ctitle=Modal n17:+introduction+to+logic+volume+2&client=firefox-aLogic,&cd=1%23v=onepage&q=Logic%2C%20language%20and%20meaning%3A%20introduction%20to%20logic%20volume%202&f=false%7Ctitle=Logic, n20:modlog.ps%7Ctitle=A
prop-hu:wikiPageUsesTemplate
n4:Cite_journal n4:Cite_web n4:Bővebben n4:ISBN n4:Nemzetközi_katalógusok n4:Jegyzetek n4:Kiemelt n4:Széptáblázat n4:Cite_book
prop-hu:accessdate
2010-04-26
prop-hu:author
Alexander Chagrov – Michael Zakharyaschev Ruzsa Imre
prop-hu:coauthors
Pizzi, Claudio Kneale, Martha Máté András
prop-hu:editor
Solomon Feferman
prop-hu:first
Johan Melvin Imre William Paul L. T. F Lennart John P Walter Robert
prop-hu:isbn
88 978 0 1 963
prop-hu:language
angol, német
prop-hu:last
Carnielli Ruzsa van Benthem Gamut Burgess Fitting Kneale Goldblatt Åqvist McNamara
prop-hu:location
Oxford Budapest Nápoly
prop-hu:other
in: Handbook of Philosophy Vol. 7. szerk. Dov M. Gabbay-F. Guenthner in: Handbook of the History of Logic, Vol. 7. szerk. Dov M. Gabbay, John Woods in: Intensional Logic and Logical Grammar, : J. F. A. K. van Benthem, J. A. G. Groenendijk, D. H. J. de Jongh, M. J. B. Stockhof, H. J. Verkuyl in: Handbook of Philosophy Vol. 8. szerk. Dov M. Gabbay-F. Guenthner in: A Companion to Philosophical Logic, szerk. Dale Jacquette
prop-hu:pages
410
prop-hu:publisher
Blackwell University of Chicago Press The University of Chicago Press Bibliopolis Elsevier Clarendon Press Springer Osiris Kiadó Oxford University Press Akadémiai Kiadó
prop-hu:title
Intensional Predicate logic Logic and the Modalities in the Twentieth Century Modalities and Multimodalities Logikai szintaxis és szemantika II. Basic Tense Logic Klasszikus, modális és intenzionális logika Modal Logic Bevezetés a modern logikába First-Order Alethic Modal Logic Kurt Gödel Collected Works Modal Logic and Classical Logic Deontic Logic
prop-hu:url
https://books.google.hu/books?id=FtXAwgy1w9cC&dq=kneale+logic&pg=PP1&ots=lcDojX6j0T&sig=C6Q8iWDX4w0y0FQHevrdOZVLLlE&hl=hu|title=The Development of Logic https://books.google.hu/books?id=Y87XKUfGlCUC&pg=PR11&dq=Logic,+language+and+meaning:+introduction+to+logic+volume+2&client=firefox-aLogic,&cd=1#v=onepage&q=Logic%2C%20language%20and%20meaning%3A%20introduction%20to%20logic%20volume%202&f=false|title=Logic, Language and Meaning 2: Intensional Logic and Logical Grammar
prop-hu:year
2002 2001 2006 2005 2008 1986 1984 1990 1988 1997 1983
prop-hu:volume
II-III. rész
dbo:abstract
A modális logika a olyan bővítése, amely már modális kijelentéseket is tartalmaz. A modális logikában egy kijelentés nem pusztán igaz vagy hamis lehet, hanem egy bizonyos módon igaz is – például szükségszerű, tudott vagy hitt, kötelező, bizonyítható. A modális logika legjellemzőbb kifejezései a „lehetséges, hogy A” (jelben: ''), a „szükségszerű, hogy A” (jelben: '') és ezek átfogalmazásai, például: „Lehet, hogy holnap tengeri csata lesz.”„Nixon győzhetett volna.”„Szükségszerű, hogy egy modális logikáról szóló bevezetőben mindig az alethikus modalitással kezdjék.” Ezek az operátorok a dualitás elve alapján kölcsönösen kifejezhetők egymással; ha A mondat, akkor lehetséges A akkor és csak akkor, ha nem szükségszerű, hogy nem A, azaz:szükségszerű A akkor és csak akkor, ha nem lehetséges nem A, azaz: A szükségszerűségen és a lehetőségen, azaz az úgynevezett alethikus modalitásokon kívül vizsgálható számos egyéb modalitás is. Ilyenek például a megismerhetőséget (episztemikus modalitás), a meggyőződés fokát (doxatikus modalitás), az időbeli elhelyezkedés szintjeit (temporális modalitás), a valamely normarendszerben megengedhető tevékenységeket (deontikus modalitás), vagy pl. az egy formális rendszerbeli bizonyíthatóságot kifejező állítások.
prov:wasDerivedFrom
wikipedia-hu:Modális_logika?oldid=23211743&ns=0
dbo:wikiPageLength
109080
foaf:isPrimaryTopicOf
wikipedia-hu:Modális_logika
Subject Item
dbpedia-hu:Modális_logikai_grammatika
dbo:wikiPageRedirects
dbpedia-hu:Modális_logika
Subject Item
dbpedia-hu:Modal_Logic
dbo:wikiPageRedirects
dbpedia-hu:Modális_logika
Subject Item
wikipedia-hu:Modális_logika
foaf:primaryTopic
dbpedia-hu:Modális_logika