Cargando…

First Steps in Modal Logic

Detalles Bibliográficos
Autor principal:	Popkorn, Sally
Lenguaje:	eng
Publicado:	Cambridge Univ. Press 2008
Materias:	XX Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/1095881

Ejemplares similares

Displaying modal logic
por: Wansing, Heinrich
Publicado: (1998)

Multi-dimensional modal logic
por: Marx, Maarten, et al.
Publicado: (1997)

Self-reference and modal logic
por: Smoryński, C
Publicado: (1985)

Proof theory of modal logic
por: Wansing, Heinrich
Publicado: (1996)

Gentzen Calculi for Modal Propositional Logic
por: Poggiolesi, Francesca
Publicado: (2011)

Leo Esakia on duality in modal and intuitionistic logics
por: Bezhanishvili, Guram
Publicado: (2014)

Many-dimensional modal logics: theory and applications
por: Gabbay, D M, et al.
Publicado: (2003)

Natural Deduction, Hybrid Systems and Modal Logics
por: Indrzejczak, Andrzej
Publicado: (2010)

Kripke’s worlds: an introduction to modal logics via tableaux
por: Gasquet, Olivier, et al.
Publicado: (2014)

First-order logic
por: Smullyan, Raymond M
Publicado: (1968)

A first course in fuzzy logic
por: Nguyen, Hung T, et al.
Publicado: (2018)

Semigroups underlying first-order logic
por: Craig, William
Publicado: (2006)

Duality and definability in first order logic
por: Makkai, Michael
Publicado: (2014)

A first journey through logic
por: Hils, Martin, et al.
Publicado: (2019)

First-order logic and automated theorem proving
por: Gries, David, et al.
Publicado: (1990)

A first course in mathematical logic and set theory
por: O'Leary, Michael L
Publicado: (2016)

Arabic logic from al-Fārābī to Averroes: a study of the early Arabic categorical, modal, and hypothetical syllogistics
por: Chatti, Saloua
Publicado: (2019)

Sheaves in geometry and logic: a first introduction to topos theory
por: MacLane, Saunders, et al.
Publicado: (1992)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Logic, action and cognition: essays in philosophical logic
por: Ejerhed, Eva, et al.
Publicado: (1997)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C J, et al.
Publicado: (1994)

Handbook of logic in artificial intelligence and logic programming
por: Hogger, C L, et al.
Publicado: (1994)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

First steps in Maple
por: Burkhardt, Werner
Publicado: (1994)

Functions and generality of logic: reflections on Dedekind's and Frege's logicisms
por: Benis-Sinaceur, Hourya, et al.
Publicado: (2015)

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Logic colloquium '99: lecture notes in logic 17
por: Van Eijck, Jan, et al.
Publicado: (2004)

Logic colloquium '02: lecture notes in logic 27
por: Chatzidakis, ZoÃ©, et al.
Publicado: (2006)

Rethinking logic: logic in relation to mathematics, evolution, and method
por: Cellucci, Carlo
Publicado: (2014)

Logical labyrinths
por: Smullyan, Raymond
Publicado: (2008)

Logic and structure
por: van Dalen, Dirk
Publicado: (2008)

Internal logic
por: Hintikka, Jaakko, et al.
Publicado: (2010)

Computability and logic
por: Boolos, George S, et al.
Publicado: (2007)

Logic Symposia
por: Müller, Gert, et al.
Publicado: (1981)

Symposium on Logic
por: Parikh, Rohit
Publicado: (1975)

Logic and algebra
por: Zhang, Yi
Publicado: (2002)

Logic and structure
por: Dalen, Dirk
Publicado: (1983)

Mathematical logic
por: Ebbinghaus, H -D, et al.
Publicado: (1994)

Sets and logic
por: Hanna, Samuel C, et al.
Publicado: (1971)

Introduction to logic
por: Suppes, Patrick
Publicado: (1957)

Cannot write session to /tmp/vufind_sessions/sess_p4am9as2cjnpqgcj78cm69aa9q