000			02995nam a22005295i 4500
001			978-90-481-8785-0
003			DE-He213
005			20140220084601.0
007			cr nn 008mamaa
008			100702s2010 ne | s |||| 0|eng d
020			_a9789048187850 _9978-90-481-8785-0
024	7		_a10.1007/978-90-481-8785-0 _2doi
050		4	_aBC1-199
072		7	_aHPL _2bicssc
072		7	_aPHI011000 _2bisacsh
082	0	4	_a160 _223
100	1		_aIndrzejczak, Andrzej. _eauthor.
245	1	0	_aNatural Deduction, Hybrid Systems and Modal Logics _h[electronic resource] / _cby Andrzej Indrzejczak.
264		1	_aDordrecht : _bSpringer Netherlands, _c2010.
300			_aXXIII, 514p. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aTrends in Logic ; _v30
505	0		_aPreliminaries -- Standard Natural Deduction -- Other Deductive Systems -- Extended Natural Deduction -- Survey of Modal Logics -- Standard Approach to Basic Modal Logics -- Beyond Basic Logics and Standard Systems -- Labelled Systems in Modal Logics -- Logics of Linear Frames -- Analytic Labelled ND and Proof Search -- Modal Hybrid Logics -- Proof Methods for MHL.
520			_aThis volume provides an extensive treatment of Natural Deduction and related types of proof systems, with a focus on the practical aspects of proof methods. The book has two main aims: Its first aim is to provide a systematic and historical survey of the variety of Natural Deduction systems in Classical and Modal Logics. The second aim is to present some systems of hybrid character, mixing Natural Deduction with other kinds of proof methods (including Sequent systems, Tableaux, Resolution). Such systems tend to be more universal and effective, because of the possibility of mixing strategies of proof search from different areas. All necessary background material is provided, in particular, a detailed presentation of Modal Logics, including First-Order Modal and Hybrid Modal Logics. The deduction systems presented in the book may be of interest to working logicians, researchers on automated deduction and teachers of logic.
650		0	_aPhilosophy (General).
650		0	_aLogic.
650		0	_aComputer science.
650		0	_aArtificial intelligence.
650		0	_aAlgorithms.
650		0	_aLogic, Symbolic and mathematical.
650	1	4	_aPhilosophy.
650	2	4	_aLogic.
650	2	4	_aMathematical Logic and Foundations.
650	2	4	_aMathematical Logic and Formal Languages.
650	2	4	_aAlgorithms.
650	2	4	_aArtificial Intelligence (incl. Robotics).
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9789048187843
830		0	_aTrends in Logic ; _v30
856	4	0	_uhttp://dx.doi.org/10.1007/978-90-481-8785-0
912			_aZDB-2-SMA
999			_c113544 _d113544