Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Logic

Introducing H, an Institution-Based Formal Specification and Verification Language

Logica Universalis

Applied Mathematics

English

Correction To: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice

Logica Universalis

Applied Mathematics

English

Verifying One Hundred Prisoners and a Lightbulb

Journal of Applied Non-Classical Logics

English

Epistemic Planning for Single- And Multi-Agent Systems

Journal of Applied Non-Classical Logics

English

Sequent Systems for Negative Modalities

Logica Universalis

Applied Mathematics

English

Minimal Models vs. Logic Programming: The Case of Counterfactual Conditionals

Journal of Applied Non-Classical Logics

English

A Universal Approach to Guarantee Data Privacy

Logica Universalis

Applied Mathematics

English

Equivalence in Logic-Based Argumentation

Journal of Applied Non-Classical Logics

English

Unification in Epistemic Logics

Journal of Applied Non-Classical Logics

English

Modelling Reasoning Processes in Natural Agents: A Partial-Worlds-Based Logical Framework for Elemental Non-Monotonic Inferences and Learning

Journal of Applied Non-Classical Logics

English