241
by Rademaker, Alexandre
Published 2012
Springer London
...Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain...

242
by Galatos, Nikolaos
Published 2007
Elsevier
Table of Contents: ... -- Chapter 2. Substructural logics and residuated lattices -- Chapter 3. Residuation and structure theory...

243
by Fitting, M.
Published 1983
Springer Netherlands
Table of Contents: ...One / Background -- Two / Analytic Modal Tableaus and Consistency Properties -- Three / Logical...

244
by Sikos, Leslie F.
Published 2017
Springer International Publishing
Table of Contents: ... -- Description Logics: Formal Foundation for Web Ontology -- Multimedia Ontology Engineering -- Ontology-Based...

245
by Ribeiro, Márcio Moretto
Published 2013
Springer London
Table of Contents: ...Preface -- Introduction -- Consequence -- Logics -- Classical Belief Revision -- AGM Contraction...

246
by Küsters, Ralf
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: ...Mathematical Logic and Formal Languages...

247
by Hamm, Fritz
Published 2008
Mouton de Gruyter

248
by Wasilewska, Anita
Published 2018
Springer International Publishing
Table of Contents: ...1: Introduction: Paradoxes and Puzzles -- 2: Introduction to Classical Logic -- 3: Propositional...

249
by Indrzejczak, Andrzej
Published 2010
Springer Netherlands
Table of Contents: ... Deduction -- Survey of Modal Logics -- Standard Approach to Basic Modal Logics -- Beyond Basic Logics...

250
Published 1985
Springer Berlin Heidelberg
Table of Contents: ...Temporal logic -- Using temporal logic for automatic verification of finite state systems...

251
by Polkowski, Lech T.
Published 2022
Springer International Publishing
Table of Contents: ...Propositional logic -- First-order logic -- Propositional modal logic -- Epistemic, default...

252
by Lounsbury, Michael
Published 2013
Emerald
Table of Contents: ... logics / Anne-Claire Pache, Filipe Santos -- Beyond the family firm : reasserting the influence...

253
by Lounsbury, Michael
Published 2013
Emerald
Table of Contents: ...God, love, and other good reasons for practice : thinking through institutional logics / Roger...

254
by Rosser, J. Barkley
Published 1951
Elsevier Science
Table of Contents: ... of quantification for many-valued logics -- Axiomatization of many-valued predicate calculi -- Quantification...

255
by Gabbay, Dov M.
Published 2003
Elsevier North Holland
Table of Contents: ...Part I: Introduction -- Chapter 1. Modal logic basics -- Chapter 2. Applied modal logic -- Chapter...

256
Published 2017
Cambridge University Press
.... It brings together scholars from both law and philosophy and looks at the application of 'the new logics...

257
by Otto, Martin
Published 2016
Cambridge University Press
...Lecture notes in logic...

258
by Zinov'ev, A.A.
Published 1973
Springer Netherlands
Table of Contents: ...One/the Logical Theory of Scientific Knowledge -- Two/Signs -- Three/Terms -- Four/Sentences...

259
by Epstein, R.L.
Published 1990
Springer Netherlands
Table of Contents: ...The Basic Assumptions of Propositional Logic -- Classical Propositional Logic - PC - -- Relatedness...