Zum Hauptinhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Herzlich Willkommen!
Bitte wählen Sie Ihr Versandland aus:
Schweiz
Liechtenstein
Auswahl bestätigen
Mehr Infos: Haupt Newsletter
Mehr Bücher: Hauptverlag
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 CHF*
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zur Kategorie Bücher
Belletristik
Kinder- & Jugendbuch
Kochen
Natur & Garten
Gestalten & Textiles
Architektur & Design
Bücher-Abos
Bücher-Gutscheine
Restexemplare Haupt Verlag
Haupt Verlag
Neuerscheinungen
Natur & Garten
Geschichte & Kultur
Gestalten & Design
Fachbuch
Zur Kategorie Geschenke
Bücher-Abos
Kalender
Schreibwaren
Spiele
Puzzles
Kleinigkeiten
Zur Kategorie Kurse & Events
Kurse Atelier 14B
Events
Haupt auswärts
Zur Kategorie Service
Erweiterte Suche
Bestellservice
Geschäftskunden
Bibliotheken
Atelier 14B mieten
Kontakt
Zur Kategorie Über uns
Unser Laden
Team
Firmenportrait
Menü schließen
Fr
Schweizer Franken
Fr
CHF
€
EUR
Kategorien
Bücher
E-Books
Geschenke
Kurse & Events
Service
Über uns
Zu "modal logic" wurden 172 Produkte gefunden
Suchergebnis | Haupt Buchhandlung
Erscheinungsdatum
Titel A-Z
Titel Z-A
Preis aufsteigend
Preis absteigend
Artikelnr.
Beste Ergebnisse
Filter
Filter
Verlag
Palgrave Macmillan UK (4)
Springer Basel (2)
Springer Berlin (28)
Springer International Publishing (29)
Springer Nature EN (1)
Springer Netherland (106)
Springer US (3)
Produktart
Gebunden (60)
Kartoniert / Broschiert (113)
Herausgeber
Ademollo, Francesco Amerini, Fabrizio De Risi, Vincenzo (2)
Aiswarya, C Sen, Prabal Kumar Srivastava, Shashi Mohan (2)
Austin, D.S. (2)
Baier, Christel Dal Lago, Ugo (1)
Baltag, Alexandru Seligman, Jeremy Yamada, Tomoyuki (1)
Banerjee, Mohua S., Krishna (1)
Barringer, Howard Fisher, Michael Gabbay, Dov M. Gough, Graham (2)
Basin, David D'Agostino, M. Gabbay, Dov M. Matthews, Seán Viganò, Luca (2)
Beklemishev, Lev D. de Queiroz, Ruy (1)
Bezhanishvili, Guram Löbner, Sebastian Marra, Vincenzo Richter, Frank (1)
Bezhanishvili, Nick Löbner, Sebastian Schwabe, Kerstin Spada, Luca (1)
Beziau, Jean-Yves Vandoulakis, Ioannis (2)
Blackburn, Patrick Lorini, Emiliano Guo, Meiyun (1)
Bochenski, J.M. (2)
Bonanno, Giacomo Löwe, Benedikt van der Hoek, Wiebe (1)
Bulling, Nils van der Torre, Leendert Villata, Serena Jamroga, Wojtek Vasconcelos, Wamberto (1)
Béziau, Jean-Yves (1)
Béziau, Jean-Yves Jacquette, Dale (1)
C. Nogueira, Sidney Teodorov, Ciprian (1)
Cantini, Andrea Casari, Ettore Minari, Pierluigi (2)
Cerrito, Serenella Popescu, Andrei (1)
Chapman, T. (2)
Colinet, Margot Katrenko, Sophia Rendsvig, Rasmus K. (1)
Cîrstea, Corina (1)
Davis, Martin Fehnker, Ansgar McIver, Annabelle Voronkov, Andrei (1)
de Moura, Leonardo (1)
De Queiroz, R.J. (2)
de Rijke, Maarten (4)
Demri, Stéphane Kapur, Deepak Weidenbach, Christoph (1)
Dunn, M. Segerberg, Krister (2)
Düntsch, Ivo Mares, Edwin (2)
Erdem, Esra Lee, Joohyung Lierler, Yuliya Pearce, David (1)
Faye, Jan Scheffler, Uwe Urchs, Max (2)
Fiadeiro, José Luiz Schobbens, Pierre-Yves (1)
Friedman, R.L. Nielsen, L.O. (2)
Gabbay, Dov M. Guenthner, Franz (8)
Gabbay, Dov M. Smets, Philippe (2)
Gabbay, Dov M. Wansing, Heinrich (2)
Galmiche, Didier Schulz, Stephan Sebastiani, Roberto (1)
Giardino, Valeria Linker, Sven Burns, Richard Bellucci, Francesco Boucheix, Jean-Michel Viana, Petrucio (1)
Hansen, Helle Hvid Murray, Sarah E. Sadrzadeh, Mehrnoosh Zeevat, Henk (1)
He, Xiangdong Horty, John Pacuit, Eric (1)
Herzig, Andreas Luo, Jieting Pardo, Pere (1)
Hoek, Wiebe van der (1)
Hofman, Piotrek Skrzypczak, Michal (1)
Holmström-Hintikka, Ghita Lindström, Sten Sliwinski, R. (4)
Humphreys, P. Fetzer, J.H. (2)
Iemhoff, Rosalie Moortgat, Michael de Queiroz, Ruy (1)
Ju, Shier Liu, Hu Ono, Hiroakira (1)
Khan, Md. Aquil Manuel, Amaldev (1)
Koutny, Maciej Ulidowski, Irek (1)
Kurahashi, Setsuya Ohta, Yuiko Arai, Sachiyo Satoh, Ken Bekki, Daisuke (1)
Lambert, K. (1)
Lodaya, Kamal (1)
Marciszewski, W. (2)
McMillan, Ken Middeldorp, Aart Voronkov, Andrei (1)
Metcalfe, George Studer, Thomas de Queiroz, Ruy (1)
Morscher, E. Hieke, A. (2)
Moss, Lawrence S. de Queiroz, Ruy Martinez, Maricarmen (1)
Murlak, Filip Sankowski, Piotr (1)
Ogihara, Mitsunori Tarui, Jun (1)
Peltier, Nicolas Sofronie-Stokkermans, Viorica (2)
Peters, James F. Skowron, Andrzej (1)
Petkov, Petio P. (1)
Pietarinen, Ahti-Veikko Chapman, Peter Bosveld-de Smet, Leonie Giardino, Valeria Corter, James Linker, Sven (1)
Placek, Tomasz Butterfield, Jeremy (2)
Pólos, László Masuch, M. (2)
Restall, G. Russell, G. (2)
Sakai, Hiroshi Chakraborty, Mihir Slezak, Dominik Hassanien, Aboul-Ella Zhu, William (1)
Sampaio, Augusto Wang, Farn (1)
Shankar, Natarajan Woodcock, Jim (1)
Siegler, Simon Wasser, Nathan (1)
Slavkovik, Marija (1)
Sosa, E. (2)
Von Wright, G.H. (2)
Väänänen, Jouko Hirvonen, Åsa de Queiroz, Ruy (1)
Wansing, Heinrich (2)
Wartofsky, Marx W. (2)
Wolenski, Jan (2)
Autor
Berg, Jonathan (2)
Bowen, K.A. (2)
Carnielli, Walter Pizzi, Claudio (3)
D'Avila Garcez, Artur S. Lamb, Luís C. Gabbay, Dov M. (2)
Feibleman, J.K. (2)
Fitting, M. (4)
Fitting, Melvin Mendelsohn, Richard L. (2)
Gabbay, Dov M. (1)
Gabbay, Dov M. Olivetti, N. (2)
Ghilardi, Silvio Zawadowski, M. (2)
Hintikka, Jaakko (2)
Hintikka, Jaakko Hintikka, Merrill B.P. (2)
Hoekzema, D.J. (2)
Jones, A.J (2)
Marx, Maarten Venema, Yde (2)
McArthur, R.L. (2)
Pagliani, Piero Chakraborty, Mihir (2)
Poggiolesi, Francesca (2)
Pollock, J.L. (2)
Rescher, N. (2)
Rusza, Imre (2)
Steinhart, Eric (2)
van Ditmarsch, Hans Kooi, Barteld (1)
Viganò, Luca (2)
Wansing, Heinrich (2)
Zinov'ev, A.A. (2)
Schlagworte
Action (3)
agents (4)
Algebra of Logic (2)
Algebraic Logic (2)
Algebraic logic (2)
algorithm analysis and problem complexity (4)
algorithms (5)
Approximation (2)
argumentation (3)
Aristotle (4)
artificial intelligence (24)
automata theory (5)
automated deduction (4)
automated reasoning (4)
axiomatization (3)
Belief (3)
bibliography (4)
Bisimulation (2)
calculus (3)
classification (3)
complexity (4)
computational linguistics (5)
computer (4)
computer programming (4)
concept (4)
corpus (4)
databases (4)
deontic logic (17)
design (4)
dynamic epistemic logic (3)
dynamic logic (3)
English literature (5)
Enzo Paci (4)
epistemic logic (5)
epistemology (8)
formal languages (5)
formal logic (16)
game theory (4)
graph theory (3)
History of Logic (3)
history of logic (4)
identity (8)
information (5)
intelligence (8)
interpret (5)
issue (4)
journal (4)
Knowledge (3)
knowledge (12)
knowledge representation (7)
Künstliche Intelligenz (3)
language (12)
linguistics (13)
literature (5)
logic (109)
logic programming (6)
logical analysis (4)
machine learning (3)
mathematical logic (10)
modal logic (173)
model (8)
model checking (9)
model theory (9)
multi-agent systems (6)
Multimodal logics (3)
Multimodalities (3)
natural language (4)
non-classical logic (3)
notation (4)
objectivity (6)
ontology (5)
Philosophical aspects of modalities (3)
Philosophical Logic (4)
philosophical logic (22)
philosophy (11)
philosophy of language (6)
Possible-worlds semantics (3)
predicate logic (9)
probabilistic reasoning (3)
probability (9)
problem solving (4)
programming (6)
programming languages (3)
proof (17)
proof complexity (3)
proof theory (18)
proposition (10)
quantum mechanics (4)
satisfiability (4)
science (4)
semantic (15)
semantics (30)
sequent calculus (6)
sound (4)
structure (4)
symbolic logic (4)
Syntax (4)
Time (3)
truth (3)
uncertainty (3)
Veröffentlicht
1960 (1)
1968 (1)
1970 (1)
1973 (2)
1975 (2)
1976 (1)
1978 (1)
1979 (1)
1980 (1)
1981 (1)
1982 (1)
1983 (1)
1988 (1)
1989 (2)
1990 (1)
1992 (1)
1993 (1)
1995 (1)
1996 (1)
1997 (1)
1998 (1)
1999 (2)
2000 (1)
2001 (1)
2002 (2)
2003 (1)
2004 (1)
2006 (1)
2007 (1)
2008 (1)
2009 (1)
2010 (1)
2011 (1)
2012 (1)
2014 (2)
2020 (2)
2025 (2)
Sprache
Englisch (173)
Automated Reasoning with Analytic Tableaux and Related Methods
53,50 CHF*
In den Warenkorb
Foundations of Software Science and Computation Structures
53,50 CHF*
In den Warenkorb
Coalgebraic Methods in Computer Science
53,50 CHF*
In den Warenkorb
Transactions on Rough Sets XX
53,50 CHF*
In den Warenkorb
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
149,80 CHF*
In den Warenkorb
Logic and Its Applications
53,50 CHF*
In den Warenkorb
Multi-Agent Systems
53,50 CHF*
In den Warenkorb
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs
149,80 CHF*
In den Warenkorb
Automated Reasoning
53,50 CHF*
In den Warenkorb
Logic, Language, Information, and Computation
70,60 CHF*
In den Warenkorb
Logic, Language, Information, and Computation
53,50 CHF*
In den Warenkorb
Around and Beyond the Square of Opposition
53,50 CHF*
In den Warenkorb
Assumptions of Grand Logics
107,00 CHF*
In den Warenkorb
Naming, Necessity and More
53,50 CHF*
In den Warenkorb
Naming, Necessity and More
53,50 CHF*
In den Warenkorb
A Geometry of Approximation
321,00 CHF*
In den Warenkorb
Foundations of the Logical Theory of Scientific Knowledge (Complex Logic)
107,00 CHF*
In den Warenkorb
Multi-Dimensional Modal Logic
107,00 CHF*
In den Warenkorb
Collected Papers of Stig Kanger with Essays on his Life and Work Volume II
107,00 CHF*
In den Warenkorb
Models for Modalities
160,50 CHF*
In den Warenkorb
Modal Logic with Descriptions
107,00 CHF*
In den Warenkorb
Logic for Programming, Artificial Intelligence, and Reasoning
53,50 CHF*
In den Warenkorb
Time: A Philosophical Analysis
107,00 CHF*
In den Warenkorb
Philosophical Logic in Poland
214,00 CHF*
In den Warenkorb
1
2
3
4
5
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Alle Cookies akzeptieren
Zurück
