Work

Labelled Tableaux for Propositional Linear Time Logic Over Finite Frames

Year: 2000

Type: book-chapter

Source: Applied logic series

DOI: 10.1007/978-94-011-4040-9_6

Authors: Serenella Cerrito, Marta Cialdea Mayer

Institutions: Université Paris-Sud, Laboratoire de Recherche en Informatique, Roma Tre University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W428994

FWCI:

Cites: 16

Cited by: 3

Related to: 10