The deducibility problem in propositional dynamic logic:
Gespeichert in:
| Beteiligte Personen: | , , |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge, Mass.
Massachusetts Inst. of Technology, Lab. for Computer Science
1981
|
| Schlagwörter: | |
| Umfang: | 16 S. |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021875906 | ||
| 003 | DE-604 | ||
| 005 | 20040229000000.0 | ||
| 007 | t| | ||
| 008 | 880222s1981 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)7918141 | ||
| 035 | |a (DE-599)BVBBV021875906 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA76.M41 | |
| 088 | |a MIT/LCS/TM-192 | ||
| 100 | 1 | |a Meyer, Albert R. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a The deducibility problem in propositional dynamic logic |c by Albert R. Meyer and Robert S. Streett and Grazina Mirkowska |
| 264 | 1 | |a Cambridge, Mass. |b Massachusetts Inst. of Technology, Lab. for Computer Science |c 1981 | |
| 300 | |a 16 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Dynamische Logik |0 (DE-588)4637784-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deduktion |0 (DE-588)4011271-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Deduktion |0 (DE-588)4011271-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Dynamische Logik |0 (DE-588)4637784-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Streett, Robert S. |e Verfasser |4 aut | |
| 700 | 1 | |a Mirkowska, Grażyna |e Verfasser |4 aut | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015091549 | |
Datensatz im Suchindex
| _version_ | 1818963356733669376 |
|---|---|
| any_adam_object | |
| author | Meyer, Albert R. Streett, Robert S. Mirkowska, Grażyna |
| author_facet | Meyer, Albert R. Streett, Robert S. Mirkowska, Grażyna |
| author_role | aut aut aut |
| author_sort | Meyer, Albert R. |
| author_variant | a r m ar arm r s s rs rss g m gm |
| building | Verbundindex |
| bvnumber | BV021875906 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.M41 |
| callnumber-search | QA76.M41 |
| callnumber-sort | QA 276 M41 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)7918141 (DE-599)BVBBV021875906 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01247nam a2200373zc 4500</leader><controlfield tag="001">BV021875906</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040229000000.0</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">880222s1981 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)7918141</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021875906</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.M41</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MIT/LCS/TM-192</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Meyer, Albert R.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The deducibility problem in propositional dynamic logic</subfield><subfield code="c">by Albert R. Meyer and Robert S. Streett and Grazina Mirkowska</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Massachusetts Inst. of Technology, Lab. for Computer Science</subfield><subfield code="c">1981</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">16 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dynamische Logik</subfield><subfield code="0">(DE-588)4637784-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deduktion</subfield><subfield code="0">(DE-588)4011271-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Dynamische Logik</subfield><subfield code="0">(DE-588)4637784-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Streett, Robert S.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mirkowska, Grażyna</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015091549</subfield></datafield></record></collection> |
| id | DE-604.BV021875906 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T12:43:55Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015091549 |
| oclc_num | 7918141 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 16 S. |
| publishDate | 1981 |
| publishDateSearch | 1981 |
| publishDateSort | 1981 |
| publisher | Massachusetts Inst. of Technology, Lab. for Computer Science |
| record_format | marc |
| spelling | Meyer, Albert R. Verfasser aut The deducibility problem in propositional dynamic logic by Albert R. Meyer and Robert S. Streett and Grazina Mirkowska Cambridge, Mass. Massachusetts Inst. of Technology, Lab. for Computer Science 1981 16 S. txt rdacontent n rdamedia nc rdacarrier Logic, Symbolic and mathematical Dynamische Logik (DE-588)4637784-0 gnd rswk-swf Deduktion (DE-588)4011271-8 gnd rswk-swf Deduktion (DE-588)4011271-8 s DE-604 Dynamische Logik (DE-588)4637784-0 s Streett, Robert S. Verfasser aut Mirkowska, Grażyna Verfasser aut |
| spellingShingle | Meyer, Albert R. Streett, Robert S. Mirkowska, Grażyna The deducibility problem in propositional dynamic logic Logic, Symbolic and mathematical Dynamische Logik (DE-588)4637784-0 gnd Deduktion (DE-588)4011271-8 gnd |
| subject_GND | (DE-588)4637784-0 (DE-588)4011271-8 |
| title | The deducibility problem in propositional dynamic logic |
| title_auth | The deducibility problem in propositional dynamic logic |
| title_exact_search | The deducibility problem in propositional dynamic logic |
| title_full | The deducibility problem in propositional dynamic logic by Albert R. Meyer and Robert S. Streett and Grazina Mirkowska |
| title_fullStr | The deducibility problem in propositional dynamic logic by Albert R. Meyer and Robert S. Streett and Grazina Mirkowska |
| title_full_unstemmed | The deducibility problem in propositional dynamic logic by Albert R. Meyer and Robert S. Streett and Grazina Mirkowska |
| title_short | The deducibility problem in propositional dynamic logic |
| title_sort | the deducibility problem in propositional dynamic logic |
| topic | Logic, Symbolic and mathematical Dynamische Logik (DE-588)4637784-0 gnd Deduktion (DE-588)4011271-8 gnd |
| topic_facet | Logic, Symbolic and mathematical Dynamische Logik Deduktion |
| work_keys_str_mv | AT meyeralbertr thededucibilityprobleminpropositionaldynamiclogic AT streettroberts thededucibilityprobleminpropositionaldynamiclogic AT mirkowskagrazyna thededucibilityprobleminpropositionaldynamiclogic |