Work

Model Checking and Satisfiability for Sabotage Modal Logic

Year: 2003

Type: book-chapter

Source: Trends in logic

DOI: 10.1007/978-3-031-91361-7_2

Authors: Christof Löding, Philipp Rohde

Institution: RWTH Aachen University

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2102598450

FWCI: 1.763

Cites: 9

Cited by: 52

Related to: 10