The deducibility problem in propositional dynamic logic:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass.
Massachusetts Inst. of Technology, Lab. for Computer Science
1981
|
| Subjects: | |
| Physical Description: | 16 S. |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021875906 | ||
| 003 | DE-604 | ||
| 005 | 20040229000000.0 | ||
| 007 | t | ||
| 008 | 880222s1981 |||| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015091549 | ||
Record in the Search Index
| _version_ | 1804135815293435904 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| 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>01246nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015091549</subfield></datafield></record></collection> |
| id | DE-604.BV021875906 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:03:35Z |
| indexdate | 2024-07-09T20:46:30Z |
| 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_exact_search_txtP | 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 |