Work

Paraconsistent Constructive Modal Logic

Year: 2025

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-99536-1_5

Authors: Han Gao, Daniil Kozhemiachenko, Nicola Olivetti

Institutions: Centre National de la Recherche Scientifique, Aix-Marseille Université, Laboratoire d’Informatique et Systèmes

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4412808098

FWCI:

Cites: 14

Cited by:

Related to: 10