Search Results - "BEZHANISHVILI, NICK"

A Coalgebraic Approach to Dualities for Neighborhood Frames by Bezhanishvili, Guram, Bezhanishvili, Nick, de Groot, Jim

“…We develop a uniform coalgebraic approach to J\'onsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras…”
Get full text

Coalgebraic Geometric Logic: Basic Theory by Bezhanishvili, Nick, de Groot, Jim, Venema, Yde

“…Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic…”
Get full text

The bounded proof property via step algebras and step frames by Bezhanishvili, Nick, Ghilardi, Silvio

“…The paper introduces semantic and algorithmic methods for establishing a variant of the analytic subformula property (called ‘the bounded proof property’, bpp)…”
Get full text

Geometric Model Checking of Continuous Space by Bezhanishvili, Nick, Ciancia, Vincenzo, Gabelaia, David, Grilletti, Gianluca, Latella, Diego, Massink, Mieke

“…Topological Spatial Model Checking is a recent paradigm where model checking techniques are developed for the topological interpretation of Modal Logic. The…”
Get full text

Games for Topological Fixpoint Logic by Bezhanishvili, Nick, Kupke, Clemens

“…Topological fixpoint logics are a family of logics that admits topological models and where the fixpoint operators are defined with respect to the topological…”
Get full text

A New Game Equivalence and its Modal Logic by van Benthem, Johan, Bezhanishvili, Nick, Enqvist, Sebastian

“…We revisit the crucial issue of natural game equivalences, and semantics of game logics based on these. We present reasons for investigating finer concepts of…”
Get full text

Finitely generated free Heyting algebras via Birkhoff duality and coalgebra by Bezhanishvili, Nick, Gehrke, Mai

“…Algebras axiomatized entirely by rank 1 axioms are algebras for a functor and thus the free algebras can be obtained by a direct limit process. Dually, the…”
Get full text

Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality by Bezhanishvili, Nick, Moraschini, Tommaso

“…A deductive system is said to be structurally complete if its admissible rules are derivable. In addition, it is called hereditarily structurally complete if…”
Get full text

SYNTAX MEETS SEMANTICS (SYSMICS 2019) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Amsterdam, The Netherlands January 21–25, 2019 by Bezhanishvili, Nick

Get full text

Modal structures in groups and vector spaces by van Benthem, Johan, Bezhanishvili, Nick

“…Abstract Vector spaces contain a number of general structures that invite analysis in modal languages. The resulting logical systems provide an interesting…”
Get full text

A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem by Bezhanishvili, Nick, Henke, Tim

“…The celebrated van Benthem characterization theorem states that on Kripke structures modal logic is the bisimulation-invariant fragment of first-order logic…”
Get full text

Bi-intermediate logics of trees and co-trees by Bezhanishvili, Nick, Martins, Miguel, Moraschini, Tommaso

“…A bi-Heyting algebra validates the Gödel-Dummett axiom (p→q)∨(q→p) iff the poset of its prime filters is a disjoint union of co-trees (i.e., order duals of…”
Get full text

Coalgebraic Geometric Logic: Basic Theory by Bezhanishvili, Nick, de Groot, Jim, Venema, Yde

“…Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic…”
Get full text

Positive modal logic beyond distributivity by Bezhanishvili, Nick, Dmitrieva, Anna, de Groot, Jim, Moraschini, Tommaso

“…We develop a duality for (modal) lattices that need not be distributive, and use it to study positive (modal) logic beyond distributivity, which we call weak…”
Get full text

Justified belief, knowledge, and the topology of evidence by Baltag, Alexandru, Bezhanishvili, Nick, Özgün, Aybüke, Smets, Sonja

“…We propose a new topological semantics for evidence, evidence-based justifications, belief, and knowledge. Resting on the assumption that an agent’s rational…”
Get full text

STABLE CANONICAL RULES by BEZHANISHVILI, GURAM, BEZHANISHVILI, NICK, IEMHOFF, ROSALIE

“…We introduce stable canonical rules and prove that each normal modal multi-conclusion consequence relation is axiomatizable by stable canonical rules. We apply…”
Get full text

Sahlqvist theorem for modal fixed point logic by Bezhanishvili, Nick, Hodkinson, Ian

“…We define Sahlqvist fixed point formulas. By extending the technique of Sambin and Vaccaro we show that (1) for each Sahlqvist fixed point formula φ there…”
Get full text

Admissibility of Π2-Inference Rules: interpolation, model completion, and contact algebras by Bezhanishvili, Nick, Carai, Luca, Ghilardi, Silvio, Landi, Lucia

“…We devise three strategies for recognizing admissibility of non-standard inference rules via interpolation, uniform interpolation, and model completions. We…”
Get full text

A Propositional Dynamic Logic for Instantial Neighborhood Semantics by Van Benthem, Johan, Bezhanishvili, Nick, Enqvist, Sebastian

“…We propose a new perspective on logics of computation by combining instantial neighborhood logic INL with bisimulation safe operations adapted from PDL. INL is…”
Get full text

Subframization and stabilization for superintuitionistic logics by Bezhanishvili, Guram, Bezhanishvili, Nick, Ilin, Julia

“…Abstract With each superintuitionistic logic (si-logic for short), we associate its downward and upward subframizations and characterize them by means of…”
Get full text