Decision procedure of some relevant logics: a constructive perspective von Riche, Jacques

Volltext

Neutral Free Logic: Motivation, Proof Theory and Models von Pavlović, Edi, Gratzl, Norbert

Volltext

Probabilistic logic under coherence: complexity and algorithms von Biazzo, Veronica, Gilio, Angelo, Lukasiewicz, Thomas, Sanfilippo, Giuseppe

Volltext

Belief revision and incongruity: is it a joke? von Florence Dupin de Saint Cyr - Bannay, Prade, Henri

Volltext

Nelson algebras, residuated lattices and rough sets: A survey von Järvinen, Jouni, Radeleczki, Sándor, Rivieccio, Umberto

Volltext

Paraconsistent logic and query answering in inconsistent databases von Middelburg, C A

Volltext

Neutral Free Logic: Motivation, Proof Theory and Models von Pavlovic, Edi, Gratzl, Norbert

Volltext bestellen

Game theoretical semantics for some non-classical logics von Baskent, Can

Volltext

Compositional Reasoning for Multi-modal Logics von Aceto, Luca, Ingólfsdóttir, Anna, Prisacariu, Cristian, Sack, Joshua

Volltext

Modal Translation of Substructural Logics von Hartonas, Takis

Volltext

An independent axiomatisation for free short-circuit logic von Ponse, Alban, Staudt, Daan J C

Volltext

Some Remarks on the Model Theory of Epistemic Plausibility Models von Demey, Lorenz

Volltext

Computabilities of Validity and Satisfiability in Probability Logics over Finite and Countable Models von Yang, Greg

Volltext

Complete Types in an Extension of the System AF2 von Farkh, Samir, Nour, Karim

Volltext bestellen

An extension of Kracht's theorem to generalized Sahlqvist formulas von Kikot, Stanislav

Volltext bestellen

Propositional Mixed Logic: Its Syntax and Semantics von Nour, Karim, Nour, Abir

Volltext bestellen

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation von Maluszynski, Jan, Szalas, Andrzej

Volltext

Explicit Evidence Systems with Common Knowledge von Bucheli, Samuel, Kuznets, Roman, Studer, Thomas

Volltext

Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics von D'Ottaviano, Itala M. Loffredo, de Castro, Milton Augustinis

Volltext

A strong completeness theorem for the gentzen systems associated with finite algebras von Gil, Àngel J, Rebagliato, Jordi, Verdú, B. (Buenaventura)

Volltext bestellen