Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Shota Motoura, Shin-ya Katsumata |
On Inverse Operators in Dynamic Epistemic Logic. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Rogozin |
Reducts of Relation Algebras: The Aspects of Axiomatisability and Finite Representability. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Exact and Parameterized Algorithms for Read-Once Refutations in Horn Constraint Systems. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Kjos-Hanssen, Saroj Niraula, Soowhan Yoon |
A Parametrized Family of Tversky Metrics Connecting the Jaccard Distance to an Analogue of the Normalized Information Distance. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David Fernández-Duque, Konstnatinos Papafilippou, Joost J. Joosten |
Hyperarithmetical Worm Battles. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Neil J. DeBoer |
Justification Logic and Type Theory as Formalizations of Intuitionistic Propositional Logic. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Iosif Petrakis |
Computability Models over Categories and Presheaves. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Dag Normann, Sam Sanders |
Betwixt Turing and Kleene. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Rick Statman |
Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Douglas Cenzer, Richard Krogman |
The Isomorphism Problem for FST Injection Structures. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Davide Trotta, Matteo Spadetto, Valeria de Paiva |
Dialectica Logical Principles. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Igor Sedlár |
Propositional Dynamic Logic with Quantification over Regular Computation Sequences. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Christian Hagemeier, Dominik Kirst |
Constructive and Mechanised Meta-Theory of Intuitionistic Epistemic Logic. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Marcelino, Carlos Caleiro, Pedro Filipe |
Computational Properties of Partial Non-deterministic Matrices and Their Logics. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Zielenkiewicz |
Small Model Property Reflects in Games and Automata. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sergei N. Artëmov, Anil Nerode (eds.) |
Logical Foundations of Computer Science - International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Scott D. Stoller |
Recursive Rules with Aggregation: A Simple Unified Semantics. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sam Sanders |
Between Turing and Kleene. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Juan P. Aguilera 0001, Jan Bydzovsky, David Fernández-Duque |
A Non-hyperarithmetical Gödel Logic. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Anela Lolic |
Andrews Skolemization May Shorten Resolution Proofs Non-elementarily. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Eoin Moore |
Soundness and Completeness Results for LEA and Probability Semantics. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kontinen, Arne Meier, Yasir Mahmood 0002 |
A Parameterized View on the Complexity of Dependence Logic. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | David Lehnherr, Zoran Ognjanovic, Thomas Studer |
A Logic of Interactive Proofs. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Forster 0002 |
Parametric Church's Thesis: Synthetic Computability Without Choice. |
LFCS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Tim Lyon |
Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Leivant |
Finitism, Imperative Programs and Primitive Recursion. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Scott D. Stoller |
Knowledge of Uncertain Worlds: Programming with Logical Constraints. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sergei N. Artëmov, Anil Nerode (eds.) |
Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4-7, 2020, Proceedings |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Forster 0002, Dominik Kirst, Dominik Wehr |
Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Diogo Poças, Jeffery I. Zucker |
Tracking Computability of GPAC-Generable Functions. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yasir Mahmood 0002, Arne Meier, Johannes Schmidt 0001 |
Parameterised Complexity of Abduction in Schaefer's Framework. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dan E. Willard |
On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem Under Semantic Tableaux Deduction. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Anela Lolic |
A Globally Sound Analytic Calculus for Henkin Quantifiers. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tim Lyon |
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel |
Computability of Algebraic and Definable Closure. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Eveline Lehmann, Thomas Studer |
Belief Expansion in Subset Models. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tiziano Dalmonte, Björn Lellmann, Nicola Olivetti, Elaine Pimentel |
Countermodel Construction via Optimal Hypersequent Calculi for Non-normal Modal Logics. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sam Sanders |
Lifting Recursive Counterexamples to Higher-Order Arithmetic. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Rogozin |
Modal Type Theory Based on the Intuitionistic Modal Logic $\mathbf{IEL}^{-}$. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hirohiko Kushida |
On the Constructive Truth and Falsity in Peano Arithmetic. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Robert S. Lubarsky |
Feedback Hyperjump. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sergei N. Artëmov |
Observable Models. |
LFCS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sergei N. Artëmov |
Justification Awareness Models. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simone Barlocco, Clemens Kupke |
Angluin Learning via Logic. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Agata Ciabattoni, Tim Lyon, Revantha Ramanayake |
From Display to Labelled Proofs for Tense Logics. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert S. Lubarsky |
Separating the Fan Theorem and Its Weakenings II. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Macaulay Ferguson |
A Gödel-Artemov-Style Analysis of Constructible Falsity. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Scott D. Stoller |
Founded Semantics and Constraint Semantics of Logic Rules. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Alexander Leitsch, Anela Lolic |
A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Diener, Robert S. Lubarsky |
Notions of Cauchyness and Metastability. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Junhua Yu |
A Tableau System for Instantial Neighborhood Logic. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir N. Krupski |
On the Sharpness and the Single-Conclusion Property of Basic Justification Models. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | V. Alexis Peluce |
From Epistemic Paradox to Doxastic Arithmetic. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sam Sanders |
Metastability and Higher-Order Computability. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rick Statman |
The Completeness of BCD for an Operational Semantics. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sergei N. Artëmov, Anil Nerode (eds.) |
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Valeria de Paiva, Harley Eades III |
Dialectica Categories for the Lambek Calculus. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Ralph |
A Natural Proof System for Herbrand's Theorem. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Miika Hannula, Juha Kontinen, Jonni Virtema |
Polyteam Semantics. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic |
Probabilistic Reasoning About Simply Typed Lambda Terms. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kai Brünnler, Dandolo Flumini, Thomas Studer |
A Logic of Blockchain Updates. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lev D. Beklemishev |
A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arnon Avron, Liron Cohen 0001 |
A Minimal Computational Theory of a Minimal Computational Universe. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antonis Achilleos |
The Completeness Problem for Modal Logic. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Zapryagaev, Fedor Pakhomov |
Interpretations of Presburger Arithmetic in Itself. |
LFCS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir V. Rybakov |
Intransitive Temporal Multi-agent's Logic, Knowledge and Uncertainty, Plausibility. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marco Devesas Campos, Marcelo P. Fiore |
Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Heinemann |
Augmenting Subset Spaces to Cope with Multi-agent Knowledge. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Douglas A. Cenzer, Victor W. Marek, Jeffrey B. Remmel |
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Iosif Petrakis |
The Urysohn Extension Theorem for Bishop Spaces. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tudor Protopopescu |
An Arithmetical Interpretation of Verification and Intuitionistic Knowledge. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Daniel R. Licata, Michael Shulman |
Adjoint Logic with a 2-Category of Modes. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Roman Kuznets |
Interpolation Method for Multicomponent Sequent Calculi. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alex Citkin |
Multiple Conclusion Rules in Logics with the Disjunction Property. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Harley Eades III, Valeria de Paiva |
Multiple Conclusion Linear Logic: Cut Elimination and More. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Evangelia Antonakos |
Pairing Traditional and Generic Common Knowledge. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak |
Type Theoretical Databases. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bakhadyr Khoussainov |
A Quest for Algorithmically Random Infinite Structures, II. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ioannis Kokkinis, Zoran Ognjanovic, Thomas Studer |
Probabilistic Justification Logic. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert S. Lubarsky |
Parallel Feedback Turing Computability. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Scott Messick |
Compactness in the Theory of Continuous Automata. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ramaswamy Ramanujam, Ramanathan S. Thinniyam |
Definability in First Order Theories of Graph Orderings. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Henryk Michalewski, Matteo Mio |
Measure Quantifier in Monadic Second Order Logic. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Sorokin |
Ogden Property for Linear Displacement Context-Free Grammars. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow |
The Online Space Complexity of Probabilistic Languages. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Antonis Achilleos |
Modal Logics with Hard Diamond-Free Fragments. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
On Lambek's Restriction in the Presence of Exponential Modalities. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shoshin Nomura, Hiroakira Ono, Katsuhiko Sano |
A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | R. Ramanujam 0001, Vaishnavi Sundararajan, S. P. Suresh |
The Complexity of Disjunction in Intuitionistic Logic. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rick Statman |
Levy Labels and Recursive Types. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergei N. Artëmov |
On Aggregating Probabilistic Evidence. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergei N. Artëmov, Anil Nerode (eds.) |
Logical Foundations of Computer Science - International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir N. Krupski, Alexey Yatmanov |
Sequent Calculus for Intuitionistic Epistemic Logic IEL. |
LFCS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ping Hou, Hao Zheng |
Quantified Differential Temporal Dynamic Logic for Verifying Properties of Distributed Hybrid Systems. |
LFCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Delahaye, Kim G. Larsen, Axel Legay |
Stuttering for Abstract Probabilistic Automata. |
LFCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Heinemann |
Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference. |
LFCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Evangelia Antonakos |
Explicit Generic Common Knowledge. |
LFCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-René Courtault, Didier Galmiche |
A Modal BI Logic for Dynamic Resource Properties. |
LFCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Douglas Cenzer, Jeffrey B. Remmel |
Sub-computable Bounded Pseudorandomness. |
LFCS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Igor Sedlár |
Justifications, Awareness and Epistemic Dynamics. |
LFCS |
2013 |
DBLP DOI BibTeX RDF |
|