Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Logic

Turning an Action Formalism Into a Planner—a Case Study

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1994English

Hypersequent Calculi for Godel Logics -- A Survey

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2003English

Нефомальная Тэопия Последовательностей Из выБора

Studia Logica
Philosophy of ScienceLogicHistory
1969English

A Meta-Model of Access Control in a Fibred Security Language

Studia Logica
Philosophy of ScienceLogicHistory
2009English

Modal Provability Foundations for Argumentation Networks

Studia Logica
Philosophy of ScienceLogicHistory
2009English

An Institution-Independent Proof of the Beth Definability Theorem

Studia Logica
Philosophy of ScienceLogicHistory
2007English

Rough Sets and 3-Valued Logics

Studia Logica
Philosophy of ScienceLogicHistory
2008English

O Definiowaniu Rodzin Znaczeniowych

Studia Logica
Philosophy of ScienceLogicHistory
1969English

A Non-Deterministic View on Non-Classical Negations

Studia Logica
Philosophy of ScienceLogicHistory
2005English

The Representation of Takcuti's $$\Begin{array}{*{20}c} \Parallel \\ --- \\ \End{array}$$ Operator

Studia Logica
Philosophy of ScienceLogicHistory
1984English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy