Skip to contents

Jin, Yi [Author]

Belief change in reasoning agents : axiomatizations, semantics and computations

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2007
Ramanujam, R. [Author]

Axiomatization of a partial order based temporal logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1996

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9605
Klein, Hans-Joachim [Author]; Rasch, Jochen [Author]

Functional dependencies for object databases : motivation and axiomatization

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kiel: Inst. für Informatik und Praktische Mathematik, 1997

Published in: Christian-Albrechts-Universität zu Kiel: Bericht / Institut für Informatik und Praktische Mathematik ; 9706
Thalheim, Bernhard [Author]

A complete axiomatization for join dependencies in relations

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Techn. Univ., 1984

Published in: Technische Universität Dresden: Informationen / 07 ; 1984,8
Grenon, Pierre [Author]

BFO in a nutshell : a bi-categorial axiomatization of BFO and comparison with DOLCE

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Ifomis, 2003

Published in: Institut für Formale Ontologie und Medizinische Informationswissenschaft: IFOMIS reports ; 2003,6
Haar, Stefan [Author]

Cyclic orders and the axiomatization of causality and concurrency in periodic processes

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Professoren des Inst. für Informatik, Humboldt-Univ., 1997

Published in: Informatik-Berichte ; 8600
Corry, Leo [Author]

David Hilbert and the axiomatization of physics (1898 - 1918) : from Grundlagen der Geometrie to Grundlagen der Physik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer, 2004

Published in: Archimedes ; 10
Bacci, Giorgio [Author]; Bacci, Giovanni [Author]; G. Larsen, Kim [Author]; Mardare, Radu [Author] ; Giorgio Bacci and Giovanni Bacci and Kim G. Larsen and Radu Mardare [Contributor]

Complete Axiomatization for the Bisimilarity Distance on Markov Chains

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Miner More, Sara [Author]; Naumov, Pavel [Author]; Sapp, Benjamin [Author] ; Sara Miner More and Pavel Naumov and Benjamin Sapp [Contributor]

Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Balbiani, Philippe [Author]; Gao, Han [Author]; Gencer, Çiğdem [Author]; Olivetti, Nicola [Author] ; Philippe Balbiani and Han Gao and Çiğdem Gencer and Nicola Olivetti [Contributor]

A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
Calleja, Pedro [Author]; Llerena, Francesc [Author]

Proportional Clearing Mechanisms in Financial Systems : An Axiomatic Approach

View online
Schließen

Access

Full access (via DOI)

https://ssrn.com/abstract=4350708

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, 2023
Calleja, Pedro [Author]; Llerena, Francesc [Author]

Proportional Clearing Mechanisms in Financial Systems : An Axiomatic Approach

View online
Schließen

Access

Full access (via DOI)

https://ssrn.com/abstract=4534391

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, [2023]
Mahajne, M. [Author]; Volij, Oscar [Author]

The individually acceptable choice correspondence

View online
Schließen

Access

http://in.bgu.ac.il/en/humsos/Econ/Workingpapers/2015.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Beer Sheva, Israel: Monaster Center for Economic Research, Ben-Gurion University of the Negev, [2020]

Published in: Discussion paper ; 2020,15
Gilboa, Itzhak [Author]; Postlewaite, Andrew [Author]; Samuelson, Larry [Author]; Schmeidler, David [Author]

What are axiomatizations good for

View online
Schließen

Access

https://economics.sas.upenn.edu/index.php/system/files/working-papers/18-026%20PIER%20Paper%20Submission_0.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Philadelphia, PA: Penn Institute for Economic Research, Department of Economics, University of Pennsylvania, October 22, 2018

Published in: Penn Institute for Economic Research: Working papers ; 2018,026
Guignot, Francois [Author] ; Sorbonne Paris Cité [Contributor]; Delon, Françoise [Contributor]

Théorie des modèles des groupes abéliens valués ; Model theory of Abelian valued groups

View online
Schließen

Links

http://www.theses.fr/2016USPCC163/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

theses.fr, 2016-11-09
Materzok, Marek [Author] ; Marek Materzok [Contributor]

Axiomatizing Subtyped Delimited Continuations

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013
Cardelli, Luca [Author]; Larsen, Kim G. [Author]; Mardare, Radu [Author] ; Luca Cardelli and Kim G. Larsen and Radu Mardare [Contributor]

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Ishihara, Shinichi [Author]; Shino, Junnosuke [Author]

An Axiomatic Analysis of Interval Shapley Values

View online
Schließen

Access

Full access (via DOI)

https://ssrn.com/abstract=4364576

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, 2023
Ishihara, Shinichi [Author]; Shino, Junnosuke [Author]

An axiomatic analysis of interval shapley values

View online
Schließen

Access

https://www.waseda.jp/fpse/winpec/assets/uploads/2023/02/E2214.pdf

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Tokyo, Japan: Waseda INstitute of Political EConomy, Waseda University, [2023]

Published in: WINPEC working paper series ; 2022,14
Demange, Gabrielle [Author]

On the resolution of cross-liabilities

View online
Schließen

Access

https://halshs.archives-ouvertes.fr/halshs-03151128/document

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paris: Paris School of Economics, [2021]

Published in: Working paper ; 2021,12

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication