Changing a Semantics: Opportunism or Courage?
From MaRDI portal
Publication:3454820
DOI10.1007/978-3-319-09719-0_20zbMath1347.03014arXiv1411.7636OpenAlexW1620485978MaRDI QIDQ3454820
Istvan Németi, Nick Bezhanishvili, Hajnalka Andréka, J. F. A. K. van Benthem
Publication date: 27 November 2015
Published in: Studies in Universal Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1411.7636
absolutenessgeneral framesHenkin modelsdefinable predicatesgeneral models for recursion and computation
Related Items (9)
On a new semantics for first-order predicate logic ⋮ THE MODAL LOGIC OF STEPWISE REMOVAL ⋮ Identity, Equality, Nameability and Completeness ⋮ On the algebraization of Henkin‐type second‐order logic ⋮ Unnamed Item ⋮ Tracking Information ⋮ A simple logic of functional dependence ⋮ Implicit and explicit stances in logic ⋮ First order logic without equality on relativized semantics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Sahlqvist theorem for modal fixed point logic
- The dual adjunction between MV-algebras and Tychonoff spaces
- Completeness for flat modal fixpoint logics
- Duality and the completeness of the modal \(\mu\)-calculus
- Results on the propositional \(\mu\)-calculus
- Generalized Kripke frames
- Completions of \(\mu \)-algebras
- Stone duality and Gleason covers through de Vries duality
- Set-theoretical invariance criteria for logicality
- Cylindric algebras. Part II
- Topology and duality in modal logic
- Set theory. An introduction to independence proofs
- A complete logic for reasoning about programs via nonstandard model theory. I
- From worlds to possibilities
- The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.
- Modal languages and bounded fragments of predicate logic
- Tools and techniques in modal logic
- Characterizations of negative definability in modal logic
- Preservation of Sahlqvist fixed point equations in completions of relativized fixed point Boolean algebras with operators
- Completeness of Kozen's axiomatisation of the propositional \(\mu\)-calculus.
- Automata, logics, and infinite games. A guide to current research
- A dual characterization of subdirectly irreducible BAOs
- Twin paradox and the logical foundation of relativity theory
- Guards, bounds, and generalized semantics
- Recursive programs and denotational semantics in absolute logics of programs
- A bimodal perspective on possibility semantics
- A formula with no recursively enumerable model
- Recurring Dominoes: Making the Highly Undecidable Highly Understandable
- Henkin on Completeness
- An Easy Completeness Proof for the Modal μ-Calculus on Finite Trees
- A PROPERTY OF 2‐SORTED PEANO MODELS AND PROGRAM VERIFICATION
- Sentences true in all constructive models
- Relativization of cylindric algebras
- Ordered Topological Spaces and the Representation of Distributive Lattices
- Two simple incomplete modal logics
- Information transfer across Chu spaces
- An incompleteness theorem in modal logic
- Residuated frames with applications to decidability
- On second-order characterizability
- Second Order Logic or Set Theory?
- Finite Partially‐Ordered Quantifiers
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Finite partially-ordered quantification
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Absolute logics and L∞ω
- Canonical extensions and relational completeness of some substructural logics
- The completeness of the first-order functional calculus
- Completeness in the theory of types
- Boolean Algebras with Operators. Part I
This page was built for publication: Changing a Semantics: Opportunism or Courage?