Resurse online

[Inca nu le-am sortat (ma rog, am incercat ceva, dar nu-s multumit). Sper sa fie utile linkurile.][wow, am strans peste aproape 300 de articole...]


Logica matematica, Introduceri in logica matematica:

Mai multe linkuri aici (“must try”: logic software! ).


Paul Teller, A Modern Formal Logic Primer (10x Stefan@Calculemus)


Stefan Bilaniuk, A Problem Course in Mathematical Logic


Mihai Minea, Elemente de Logica Matematica


Elliott Mendelson, Introduction to Mathematical Logic


John L. Pollock, Logic: An Introduction to the Formal Study of Reasoning


Shunichi Toida, Discrete Structure/Discrete Mathematics Web Course Material


Propositional Logic [Note de curs]


Predicate Logic [Note de curs]


Normalization and Classical Logic [Note de curs]


An Introduction to Symbolic Logic, Ernest Nagel, Morris R. Cohen [SL]


Logica de ordinul 1



Marcus Kracht, Notes on Substitution in First-Order Logic [FOL][Subst]


Logica de ordinul 2


Marcus Rossberg: First Order, Second Order Logic and Completeness [FOL][SOL][Compl]


Marc Cohen, Second Order Logic [Note de curs][SOL]


Jouko Vaananen, Second-Order Logic and Foundations of Mathematics [SOL]


Bruno Courcelle, Graph Structure and Monadic Second-Order Logic [SOL]


Richard Zach, Incompleteness of Second-Order Logic [Richard Zach, LogBlog, Blog Entry]


H. Jerome Keisler, Wafik Boulos Lotfallah, First Order Quantifiers in Monadic Second-Order Logic


Second-Order Propositional Logic [note de curs]


Andrew Bacon, Is Second Order Logic Really First Order ? [Blog Entry on  Possibly Philosophy]


Jeffrey Ketland, Second Order Logic [note de curs]


Teoria Multimilor (Seturilor):


Ted Sider, Set Theory [ST][TM]


John L. Bell, Basic Set Theory [ST][TM]


Colin G. Bailey, An Introduction to Set Theory [ST]


Al Lehnen, An Elementary Introduction to Logic and Set Theory [ST]


Maribel Romero, Introduction to Set Theory [ST]


Kenneth A. Ross, Informal Introduction to Set Theory [ST]


Kendra Cooper, Introduction to Set Thory [ST]


William Weiss, Set Theory [ST]


[TM] Teoria Modelelor:


Kendra Cooper, An Introduction to Model Theory [introducere]


David Marker, Introduction to Model Theory [introducere]


Zoe Chatzidakis, An Introduction to Model Theory [introducere]


John L. Bell, Basic Model Theory [introducere]


Teme & rezolvari – Curs de introducere in logica matematica si teoria seturilor  (Prof.: Eric Rosen, MIT)


Valentin Goranko, Martin Otto, Model Theory of Modal Logic (.ps file) [introducere]


John Burgess, Kripke Models [introducere]


Balder ten Cate,  Abstract Model Theory for Extensions of Modal Logic


Jelle Gerbrany, Epistemic Equivalence and Bisimulation [ML][EL][Bisimulation]


Tomasz Polacik, Back and Forth between Kripke Models


Teoria categoriilor


Jiri Adamek, Horst Herrlich, George Strecker, Abstract and Concrete Categories. The Joy of Cats [introducere][TC][Teoria categoriilor][algebra]


Andrea Asperti, Giuseppe Longo, Categories, Types and Structures [introducere][TC][CT][Teoria categoriilor][algebra]


Centre de Recherche en Theorie des Categories, webpage


[TM][Bisimulation] :


Luca Aceto, The Joys of Bisimulation


The Bisimulation Game (o simulare)


Jelle Gerbrandy, Epistemic Equivalence and Bisimulation [ML][EL][Bisimulation]


Jelle Gerbrandy, Bisimulations on Planet Kripke [Diss]

Logica Modala:


Patrick Blackburn, Johan van Benthem, Frank Wolter, Handbook of Modal Logic [introducere][ML]


G. J. Mattey, Informal Introduction to Modal Logic [introducere][ML]


J. Jay Zeman, Modal Logic, [introducere][ML]


Gary Hardegree, Introduction to Modal Logic [introducere][ML]


Modal Logic, Curs – Midlands Graduate School, Aprilie 2003


Dick de Jongh, Frank Veltman, Intensional Logic


Gabriel Sandru, Tero Tulenheimo, Games of imperfect information and modal logic [ML][Games][Information]


Valentin Goranko, Martin Otto, Model Theory of Modal Logic (.ps file)[.PS][MT][ML][introducere]


Seth Yalcin, Epistemic Modals [ML][EL]


Horacio Arlo-Costa, Eric Pacuit, First-Order Classical Modal Logic [ML]


Francesco Belardinelli, A General Proof of Kripke-completeness for Quantified Modal Logic [ML]


Edward N. Zalta, Basic Concepts in Modal Logic [Scribd][Book][ML][introducere]


Robert Goldblatt, Mathematical Modal Logic: A View of Its Evolution [ML]


Daniel Bonevac, Modal Logic [note de curs][ML][introducere]


Cornel Popa, Teoria descriptiei si limbajul logicii modale mixte (partea I) [ML]


Cornel Popa, Consecinta logica si semnificatia axiomei lui S4 [ML]


Logica Epistemica (vezi si tagul [EL] sau categoria “Logica epistemica”)


Valentin Goranko, Modal Logics for Multi-Agent Systems [ML][EL][slides]


Valentin Goranko, Multi-agent epistemic Logics [EL][slides]


Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Reasoning about Logic [EL]


W. van der Hoek, Meyers, A Complete Epistemic Logic for Multiple Agents [EL]


Nicholas Rescher, Epistemic Logic [EL]


Ditmarsch, Introductory Course in Epistemic Logic [slides][prezentare de curs]


Seth Yalcin, Epistemic Modals [ML][EL]


John-Jules Meyer, Epistemic Logic [EL]


Michal Pelis, Epistemic Logic with Questions [EL][slides][prezentare]


Marcus Spies, Epistemic Logic and Knowledge Management [EL]


Kewen Wang, Yan Zhang, Nested Epistemic Logic Programs [EL]


Jelle Gerbrandy, Dynamic Epistemic Logic [EL]


Mikael Cozic, Logical omniscience: from Epistemic Logic to Rational Choice [EL]


Vincent F. Hendricks, John Symons, Where’s the Bridge ? Epistemology and Epistemic Logic [EL]


Suguru Yoshioka, Satoshi Tojo, A Reasoning System of Temporal Epistemic Logic with Communication Channel


Gabriel Sandu, Informational Independent Connectives and Epistemic Logic


Cornel Popa, Logica epistemica, automatele si teoria argumentarii [EL]


Cornel Popa, Logica epistemica si dinamica argumentarii [EL]


Modal Logic, Epistemic Logic, [note de curs][ML][EL]


F. Belardinelli, A. Lomuscio, A Quantified Epistemic Logic for Reasoning about Knowledge [EL]


Xiaowu Li, An Epistemic Logic for Update Semantics [EL][US]


Pierre Lescanne, Mechanizing Epistemic Logic with Coq [EL]


Joshua Sack, Temporal Languages for Epistemic Programs [EL][DEL]


Joshua Sack, Logic for Update Products and Steps into the Past [EL]


Joshua Sack, Extending Probabilistic Dynamic Epistemic Logic [EL][DEL]


Joshua Sack, Muddy Children, Other Logical Puzzles and Temporal Dynamic Epistemic Logic [EL][DEL]


Aviad Heifetz, Infinitary Epistemic Logic


Andreas Witzel, Jonathan Zvesper, Epistemic Logic and Explicit Knowledge in Distributed Programming [EL][CS]


H.P. van Ditmarsch, J. Ruan, R. Verbrugge, Sum and Product in Dynamic Epistemic Logic


H.P. van Ditmarsch, W. van der Hoek, B.P. Kooi, Playing Cards with Hintikka – A Introduction to Dynamic Epistemic Logic [EL][DEL]


Mike Wooldridge, W. van der Hoek, Alterning-Time Temporal Epistemic Logic [EL][TL]


H.P. van Ditmarsch, Belief Revision and Dynamic Epistemic Logic


Jelle Gerbrandy, Distributed Knowledge


Can Baskent, Distributed Knowledge and Announcements


Kirsten Foss, Nicolai Foss, Authority in the Context of Distributive Knowledge


Proof Logic:


Melvin Fitting, The Logic of Proofs, Semantically


Logica deontica:


Cornel Popa, Despre semnificatia axiomei A6 din sistemele deontice Smiley-Hanson


Cornel Popa, Noi fundamente pentru logica deontica (partea I)


Cornel Popa, Noi fundamente pentru logica deontica (partea II)


Logica temporala:


Adrian Miroiu, Cu privire la logica propozitiilor indexate relativ la timp


Logica filosofica


Adrian Miroiu, World within Worlds [LF][LM]


Godel (Teoreme de completitudine, incompletitudine, consecinte)



Sergiu Rudeanu, Calculabilitate intuitiva si teorema lui Godel


Filosofia logicii


Michael Heather, Nick Rossiter, Logical Monism: The Global Identity of Applicable Logic


Teoria argumentarii


Cornel Popa, Teoria argumentarii


Fundamentele matematicii


Bertrand Russell, Alfred N. Whitehead, Principia Mathematica


Reviste


The Bulletin of Symbolic Logic


The Australasian Journal of Logic


The Review of Symbolic Logic (Cambridge Journals)


Alte subiecte :


Vaguitate


Jesse Prinz, Vagueness, Language and Ontology


Loretta Torrago, Vagueness and Identity


Shunsuke Yatabe, Hiroyuki Inaoka, Vaguness and Extensionality


Shunsuke Yatabe, Hiroyuki Inaoka, On Evans’s Vague Object


J. Robert G. Williams, Ontic Vagueness and Metaphysical Indeterminacy


Kripke stuff:


Saul Kripke: Naming and Necessity (cel mai utilizat link, de aceea l-am lasat si mai sus)


John Burgess, Kripke on Truth


John Burgess, Kripke Models


Saul Kripke, The First Person [audio][conference lecture][daca a gasit cineva o transcriere sau a reusit s-o transcrie... well... millions, zounds of 10x!]


Carlo Penco, Kripke’s Puzzle about Belief


Theodore Sider, David Braun, Kripke’s Revenge [aparuta in Philosophical Studies 128(2006), 669 - 682]


Christopher Guaker, Kripke’s Theory of Truth


Identitate personala


Dan Robert Bisa, Identitatea personala [RO][Diss]


Fun Stuff


ThadGuy.com An Introduction to Modal Logic


…And a viewer: http://view.samurajdata.se/


Altele (nesortate)


Gabriel Sandu, Logics of Imperfect Information


Johan van Benthem, ‘Games That Make Sense’: logic, language and multi-agent interaction


Samson Abramsky, Socially Responsive, Environmentally Friendly Logic


Saul Kripke: Naming and Necessity


Gary Hardegree, Lambda-Abstraction


Ted Sider, Logic for Philosophy



John Burgess, Philosophical Logic (Draft)


John MacFarlane, What Does It Mean To Say That Logic Is Formal (Diss)


Pagini de autori


Pagina lui John L . Bell (Cursuri de logica, teoria seturilor, teoria modelelor etc…)


Pagina lui Marcus Kracht (Cursuri, articole)


Pagina lui Yde Venema


Frank Volter, Articole online


John L. Pollock, Articole online


Henri Galinon, Cursuri, articole


Samson Abramky, Articole online
Latice. Teoria laticelor
Stanislaw Zukowski, Introduction to Lattice Theory


Panagiotis Manolis, Lattice Theory: Basic Theory, Tarski Knaster Fixpoint Theorem