Work

Prime implicates and prime implicants in modal logic

Year: 2007

Type: article

Author: Meghyn Bienvenu

Institutions: Université Toulouse III - Paul Sabatier, Institut de Recherche en Informatique de Toulouse

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W193514054

FWCI: 1.436

Cites: 9

Cited by: 13

Related to: 10