scientific article; zbMATH DE number 3300580
From MaRDI portal
Publication:5582317
Cited in
(19)- A model-theoretic criterion of ontology
- A free logic with intensions as possible values of terms
- The modal logic of discrepancy
- \textit{De re} language, \textit{de re} eliminability, and the essential limits of both
- Two-sorted metric temporal logics
- Discrete tense logic with infinitary inference rules and systematic frame constants: A Hilbert-style axiomatization
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic
- Partly free semantics for some Anderson-like ontological proofs
- Modal logic with subjunctive conditionals and dispositional predicates
- Quantified temporal alethic-deontic logic
- Doxastic logic: a new approach
- A cut-free, sound and complete Russellian theory of definite descriptions
- Reasoning with rules and rights: term-modal deontic logic
- Completeness theorems for \(\exists \Box\)-bundled fragment of first-order modal logic
- Individual concepts: their logic, philosophy, and some of their uses
- Saul Kripke: a portrait of the modal logician as a young man
- Unifying quantified modal logic
- Quantified temporal alethic boulesic doxastic logic
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5582317)
