scientific article

From MaRDI portal

Publication:3992551

Jump to:navigation, search

zbMath0678.03010MaRDI QIDQ3992551

J. F. A. K. van Benthem

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logic possible worlds modality conditionals vagueness generalized quantifiers intensional logic partiality tense logics multiple reference applications in computer science

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (9)

Quantified temporal alethic boulesic doxastic logic ⋮ Directions in generalized quantifier theory ⋮ A small reflection principle for bounded arithmetic ⋮ CHOICE-FREE STONE DUALITY ⋮ Mereology in Engineering and Computer Science ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness ⋮ Partially interpreted relations and partially interpreted quantifiers ⋮ A functional logic for higher level reasoning about computation ⋮ Under Carnap's lamp: flat pre-semantics

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3992551&oldid=13488819"

Pages with script errors