default search action

combined dblp search
author search
venue search
publication search

ask others

Towards Mathematical Philosophy 2009

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/sp/09/MMW2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/MMW2009
David Makinson, Jacek Malinowski, Heinrich Wansing:
Towards Mathematical Philosophy. Trends in logic 28, Springer 2009, ISBN 978-1-4020-9083-7
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/MakinsonMW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/MakinsonMW09
David Makinson, Jacek Malinowski, Heinrich Wansing:
From Logic to Mathematical Philosophy. 1-7
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/GoldblattH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/GoldblattH09
Robert Goldblatt, Ian M. Hodkinson:
Commutativity of Quantifiers in Varying-Domain Kripke Models. 9-30
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/Poggiolesi09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/Poggiolesi09
Francesca Poggiolesi:
The Method of Tree-Hypersequents for Modal Propositional Logic. 31-51
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/KowalskiM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/KowalskiM09
Tomasz Kowalski, Yutaka Miyazaki:
All Splitting Logics in the Lattice NExt(KTB). 53-67
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/AgotnesHRSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/AgotnesHRSW09
Thomas Ågotnes, Wiebe van der Hoek, Juan A. Rodríguez-Aguilar, Carles Sierra, Michael J. Wooldridge:
A Temporal Logic of Normative Systems. 69-106
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/Fitting09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/Fitting09
Melvin Fitting:
Reasoning with Justifications. 107-123
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/Czelakowski09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/Czelakowski09
Janusz Czelakowski:
Monotone Relations, Fixed Points and Recursive Definitions. 125-164
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/AvronBK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/AvronBK09
Arnon Avron, Jonathan Ben-Naim, Beata Konikowska:
Processing Information from a Set of Sources. 165-186
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/Lee09a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/Lee09a
Jui-Lin Lee:
The Classical Model Existence Theorem in Subclassical Predicate Logics I. 187-199
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/Zielonka09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/Zielonka09
Wojciech Zielonka:
Weak Implicational Logics Related to the Lambek Calculus - Gentzen versus Hilbert Formalisms. 201-212
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/Mundici09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/Mundici09
Daniele Mundici:
Faithful and Invariant Conditional Probability in Łukasiewicz Logic. 213-232
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/Gulik09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/Gulik09
Stephan van der Waart van Gulik:
A Fuzzy Logic Approach to Non-Scalar Hedges. 233-248
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/Lukowski09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/Lukowski09
Piotr Lukowski:
The Procedures for Belief Revision. 249-268
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/Rott09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/Rott09
Hans Rott:
Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators. 269-296
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/LiKF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/LiKF09
Jason Jingshi Li, Rex Bing Hung Kwok, Norman Y. Foo:
The Coherence of Theories - Dependencies and Weights. 297-318
- view
  authority control:
- export record
  dblp key:
  - books/sp/09/Wybraniec-Skardowska09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/09/Wybraniec-Skardowska09
Urszula Wybraniec-Skardowska:
On Meta-Knowledge and Truth. 319-343

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.