scientific article; zbMATH DE number 3300580

zbMath0188.32002MaRDI QIDQ5582317

Richmond H. Thomason

Publication date: 1970

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

zbMATH Keywords

algebraic logic, model theory

Related Items

Quantified temporal alethic boulesic doxastic logic, Quantified epistemic logics for reasoning about knowledge in multi-agent systems, The modal logic of discrepancy, \textit{De re} language, \textit{de re} eliminability, and the essential limits of both, Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization, Two-sorted metric temporal logics, Quantified temporal alethic-deontic logic, Doxastic logic: a new approach, A model-theoretic criterion of ontology, Partly free semantics for some Anderson-like ontological proofs, A free logic with intensions as possible values of terms, Modal logic with subjunctive conditionals and dispositional predicates, Counterpart semantics at work: independence and incompleteness results in quantified modal logic, Unifying quantified modal logic