Unification types in logic

Katowice: Wydawnictwo Uniwersytetu Śląskiego (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.46.D99 2007

ISBN(s)

9788322617175   8322617178
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Załuski Wojciech, Etyczne aspekty doświadczenia czasu, Wydawnictwo Uniwersytetu Jagiellońskiego, Kraków 2017, ss. 228.Dawid Wincław - 2017 - Ruch Filozoficzny 72 (3):177.
Decidability of First-order Logic.Timm Lampert - 2007 - Ruch Filozoficzny 4 (4).
Explaining formulae of first order logic.Timm Lampert - 2006 - Ruch Filozoficzny 3 (3).
Decidability of First-Order Logic Exemplified. Part I.Timm Lampert - 2008 - Ruch Filozoficzny 65 (3).
Analityczny pragmatyzm. Sprawozdanie z międzynarodowej konferencji zorganizowanej przez Katolicki Uniwersytet Lubelski. Odczyty i wykłady: Wojciech Krysztofiak: Część II: Metamatematyka, intensjonalność, ekstensjonalność. Intensjonalizacja metaarytmetyki. [REVIEW]Adriana Schetz - 2004 - Ruch Filozoficzny 1 (1).
Decidability of First-Order Logic Exemplified. Part II.Timm Lampert - 2008 - Ruch Filozoficzny 65 (4).
Projekt L!niversal Logic. Sprawozdanie ze światowych kongresów: Ist andlnd World Congress and School on Universal Logic.Katarzyna Gan - Krzywoszyńska - 2008 - Ruch Filozoficzny 65 (2).
Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality.Stepan I. Bashmakov & Tatyana Yu Zvereva - 2022 - Bulletin of the Section of Logic 51 (3):345-361.
Analysis of Fast Unification: An Exercise in Applied Logic.Kaj Børge Hansen - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 159.
Dawid Einhorn - nieobecny wśród obecnych. „Ruch Filozoficzny\" wobec zróżnicowania filozofii polskiej.Czesław Głombik - 2011 - Ruch Filozoficzny 68 (4).

Analytics

Added to PP
2009-01-28

Downloads
9 (#449,242)

6 months
4 (#1,635,958)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Unification in epistemic logics.Philippe Balbiani & Çiğdem Gencer - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):91-105.

Add more citations

References found in this work

No references found.

Add more references