First-order modal logic
type: Item
instance of: scholarly article
title: First-order modal logic
DOI: 10.1007/978-3-031-40714-7
author: Melvin Fitting
author: Richard L. Mendelsohn
published in: Synthese Library
publication date: 2024-01-02T00:00:00Z
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 7781947
MaRDI profile type: Publication
Recommended article: First-order modal logic
Recommended article: First-order classical modal logic
Recommended article: Q5560258
Recommended article: Q5868872
Recommended article: Q4342019
Recommended article: Modal Logics Between Propositional and First-order
Recommended article: First-order intensional logic
Recommended article: Q5536236
Recommended article: First-order modal logic with an `actually' operator
Recommended article: Q3507585
description: scientific article; zbMATH DE number 7781947