Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Logic

Comments on John C. Harsanyi's Paper

Erkenntnis
PhilosophyLogic
1977English

Deterministic and Probabilistic Reasons and Causes

Erkenntnis
PhilosophyLogic
1983English

Circumscription in Data Logic for Data Type Specification

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1994English

Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2008English

Engineering Executable Agents Using Multi-Context Systems

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2002English

Combining Derivations and Refutations for Cut-Free Completeness in Bi-Intuitionistic Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2008English

Introducing the Logic and Law Corner

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2007English

Natural Deduction for Hybrid Logic

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2004English

Simulating Without Negation

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Programming by Combining General Logic Programs

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy